kexec: add support for kexec hardboot based on:
added moreD_cn's hardboot patch
cyanogenmod_cardhu_defconfig: enable kexec and enable JRCU. missed it the first time
tegra_hotplug: more universial includes