Interesting. A kexecboot patch is widely available on Android, it gets used to provide a hackish multi-OS functionality. (The early boot environment brings up a multi-boot GUI, and the user can choose to continue booting or kexec a different kernel and system image.)
