x86/efi: Remove EFI PGD build time checks