I installed the 32 bit version of Debian Jessie (8.0) on an Asus X205TA. The Asus X205TA laptop is quirky like a lot of Intel Baytrail Atom laptops/tablets in that it has 32 bit EFI but a 64 bit capable CPU, and installing Linux on them is an exercise in frustration. Jessie is probably the first distro to support 32bit EFI out of the box, and the install went surprisingly smoothly. As expected the sound and built in WIFI does not work, but everything else seems to work well.
I spent half a day compiling the 4.03 kernel but it crashes on boot, and I ended uninstalling it in frustration.
Is there any backport of the 4.0 (or 4.1 which is currently a release candidate) for Jessie? Debian also seems to have pulled the kernel image off of their "experimental" repository.