kexec: allow architectures to override boot mapping