CONFIG_ARCH_MIGHT_HAVE_ACPI_PDC (not configurable)
configname: CONFIG_ARCH_MIGHT_HAVE_ACPI_PDC
Linux Kernel Configuration
└─>Power management and ACPI options
└─>ACPI (Advanced Configuration and Power Interface) Support
└─>ARCH_MIGHT_HAVE_ACPI_PDC