Support for rump kernels on raw hardware