Comment 25 for bug 510571

Man I hate to beat a horse to death but the PUEL version 3.1.2r56127-Win of VirtualBox does not have the ability to turn the ACPI on and off in the GUI. I looked again and it is not there. It was deprecated in version 3.1.0 and replaced with Enable EFI.The only way to control it is with VBoxManage.
Here it is from the book.

"In addition, you can turn off the Advanced Configuration and Power Interface (ACPI) which VirtualBox presents to the guest operating system by default. ACPI is the current industry standard to allow operating systems to recognize hardware, configure motherboards and other devices and manage power. As all modern PCs contain this feature and Windows and Linux have been supporting it for years, it is also enabled by default in VirtualBox. It can be turned off on the command line; e see Section 8.7, “VBoxManage modifyvm”."

Turning PAE on or off makes no difference for me. As well as IO APIC. Since this is the 32 bit desktop version I really didn't think that either would do a lot of good.
Anyway I am just reporting this so someone will know and have a chance to fix it. I can run this in the -10 kernel and wait for the fix.