# CONFIG_IWLWIFI_PCIE_RTPM is not set