# CONFIG_EFI_PGT_DUMP is not set