Load another kernel from the currently executing Linux kernel
