Package: linux-image-4.5.0-1-686-pae Severity: normal Running current testing on virtualbox (windows host and testing as client), kernel fails to load and hangs at:
[...] tsc: refined tsc clocksource calibration: 1552.919 MHz [...] clocksource: tsc: mask: 0xffffffffffffffff max cycles 0x1662692e4fd, max_idle_ns: 440795215416 ns This only happens when no hardware virtualization is available on host machine or it is disabled on purpose on virtualbox machine settings. Older kernels (e.g., wheezy) just load fine despite the hardware virtualization setting in available or not for VBox.