(Temporarily) disable VirtualBox kernel modules building.

linux-kbuild-3.18 isn't available yet.