I was looking through the config and noticed some laptop related stuff was missing. Any reason for these or just a mistake? # CONFIG_SURFACE3_WMI is not set # CONFIG_ACER_WIRELESS is not set # CONFIG_INTEL_WMI_THUNDERBOLT is not set