CONFIG_ALIENWARE_WMI_WMAX=y
