kbuild workaround for VirtualBox-OSE