package: linux-image-amd64 Was looking at the config and noticed these missing. Guess this also applies to 32 bit. # CONFIG_SURFACE3_WMI is not set # CONFIG_ACER_WIRELESS is not set # CONFIG_INTEL_WMI_THUNDERBOLT is not set