Eu instalei a versão de 32 bits do Debian Jessie (8.0) em um Asus X205TA . O laptop Asus X205TA é peculiar, como um monte de laptops / tablets Intel Baytrail Atom em que ele tem 32 bits EFI mas uma CPU com capacidade de 64 bits e a instalação do Linux neles é um exercício de frustração. Jessie é provavelmente a primeira distro a suportar 32bit EFI, e a instalação foi surpreendentemente suave. Como esperado , o som e o WIFI embutido não funcionam, mas todo o resto parece funcionar bem.
Passei meio dia compilando o kernel 4.03, mas ele falha ao inicializar e acabei desinstalando-o em frustração.
Existe algum backport do 4.0 (ou 4.1 que atualmente é um release candidate) para Jessie? O Debian também parece ter retirado a imagem do kernel de seu repositório "experimental" .
O Kernel 4.0.2 está disponível em Debian instável . Pode ser instalado no Jessie. Se não funcionar no seu laptop, informe um bug ( reportbug linux-4.0.0-1-686-pae se você estiver usando a versão de 32 bits ou reportbug linux-4.0.0-1-amd64 se estiver usando a versão de 64 bits).