# CONFIG_VBOXGUEST is not set