As per the description, vboxvideo needs to be force-loaded when built outside of the kernel source tree. This may be related to having to run "make bzImage" in /usr/src/linux first. Needs to be checked.