[Concept] [PATCH 16/19] boot: pxe: Allow loading a kernel without kernel_addr_r