CONFIG_EFI_PCDP 467 arch/ia64/kernel/setup.c #ifdef CONFIG_EFI_PCDP CONFIG_EFI_PCDP 1187 include/linux/efi.h #ifdef CONFIG_EFI_PCDP