How can I boot into the kernel in EL1 mode as easily as possible?