kexec-tools with hardboot support for Amazon HDX (WIP)