I have uploaded a 4.2 test build to virtualbox.org which I hope may fix this issue. If anyone would like to give it a try, it is at
http://www.virtualbox.org/download/testcase/VirtualBox-4.2.5-81993-Win.exe