Implement kexec-hardboot #2 (reverted from commit 62a0b878bcfe5d4b9cfc5d7549e1b008f8ec71b6)