# CONFIG_GIGABYTE_WMI is not set
