[PATCH 11/13] efi_loader: Tidy up efi_reserve_memory()