Bump VirtualBox-4.2.10 with KBUILD_OUTPUT support.