[Concept] [PATCH 01/19] boot: Given up pxe boot if kernel_addr_r is missing