add support for kexec hardboot
the user has the option now to choose a different kernel for each ROM
Thanks @Tasssadar for the kexec binary