kexec_hardboot: Fix board specific