[PATCH 64/91] efi/x86: Free efi_pgd with free_pages()