[PATCH 1/1] efi_loader: fix efi_add_known_memory()