VirtualBox host kernel modules.