I guess this question is for either titan or DJ_Steve... How do we leverage kexec in titan's kernel to boot Android off of the microsd card? Do you still need bootmenu or how do you configure the Android boot option?