nixos: do not modify the kernel for virtualbox