now no conflict between rump and Linux kernels