That seems to be the case. I reported it to VirtualBox and word is this will be fixed in their next release. Thanks.
-- Bad EIP Value on boot in VirtualBox https://launchpad.net/bugs/83820 -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
