machine_kexec: re-add mapping of bf000000-c0000000