Bug#827044: linux-image-4.5.0-1-686-pae: Kernel 4.5.0-1 hangs at boot time on VirtualBox with no hardware virtualization (VT-x)

[Camaleón <noelamac@gmail.com>]

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.