reboot the rump kernel at the end