# CONFIG_X86_PLATFORM_DRIVERS_HP is not set
