tianchi: Implement kexec hardboot patch