Implement kexec-hardboot #2 (reverted from commit 65f2d7c1311bf2374752c2d4b0550213107743d5)