New version (5.1.10) of VirtualBox is available for testing here.
This is the same version as the vbox video driver on the new 3.01 respin .iso so may help some users experiencing problems installing 3.01 in VirtualBox.
Edit: Thanks to crisb for this. Any issues can be reported here.