Try FAUmachine, it's not as snazzy as the virtualbox machine manager, but it works. I am having the same (or similar) issue with the i386 pae headers, and haven't found much in the way of repairing...