[PATCH] efi_loader: Simplify efi_free_pages()