**** BEGIN LOGGING AT Sat May 26 03:00:03 2018 May 26 17:49:31 can kexecboot exec a custom script instead of kexec? I have an idea how to handle it on Gemini PDA without relying on kexec with customized bootloader, but boot menu is a nice thing to have **** ENDING LOGGING AT Sun May 27 03:00:02 2018