kernel-EC05: Patches for kernel kexec syscall support
kernel-GB:   Patches for kernel kexec syscall support for GB kernels
kexec-tools: Patches for kexec-tools --load-hardboot support
kexec:       Prebuilt kexec userspace tool
