[PATCH 1/1] efi_loader: incorrect check against FDT_ADDR_T_NONE