4.12 REGRESSION, 4.12 does not boot as VirtualBox guest

[Hans de Goede]

Hi Linus,

Sorry for escalating this right up to you, but this issue
does not seem to be getting any attention and I'm not sure
which subsys maintainer to poke about this.

The problem is that the 4.12-rc# kernels fail to boot on
VirtualBox guests hosted on any machine with a Sky Lake
(and probably also a Kaby Lake) CPU, for details see:

https://bugzilla.kernel.org/show_bug.cgi?id=195961

Regards,

Hans