Bug#802464: Hyperthreaded cpu not enabled (smpboot: do_boot_cpu failed(-1) to wakeup CPU#1)

[Reinhard Karcher]

The bug is apparently solved upstream: 
fcafddec4e78a7776db4b6685db6b2902d4300fc
x86/smpboot: Fix CPU #1 boot timeout

Reinhard