and remove the kernel menu