linux kernel 4.9.6 startup on skylake "Blocked a compatibility format interrupt request"

[Luke Kenneth Casson Leighton]

hi just a heads-up on trying out debian's 4.9 kernel on an awesomely
powerful recent laptop, it's unable to run /sbin/init.  full report is
here:
https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=855558

screenshot is here:
http://hands.com/~lkcl/IMG_20170220_1127225_rewind.jpg

this error appears to be quite common, including this:
https://lkml.org/lkml/2016/8/26/196

but that was during startup of xorg - this is /sbin/init (from inside
debian's initramdisk)

just an fyi although advice which helps to track this down much appreciated,

thanks.

---
crowd-funded eco-conscious hardware: https://www.crowdsupply.com/eoma68