CONFIG_ACPI_PLATFORM_PROFILE (not configurable)
modulename: platform_profile.ko
configname: CONFIG_ACPI_PLATFORM_PROFILE
Linux Kernel Configuration
└─>Power management and ACPI options
└─>ACPI (Advanced Configuration and Power Interface) Support
└─>ACPI_PLATFORM_PROFILE