Comment 163 for bug 568611

Alright, I got it. If I use the generic-pae kernel, Virtualbox won't work. So I set my grub to automatically boot to the -generic (without pae) kernel -- the power management option works and so does Virtualbox. Finally! {I'm happy at least for now.}