This reverts commit 0b6a39f7.

The changes in tip/x86/apic solve this better.
Signed-off-by: Ingo Molnar <mingo@elte.hu>