Comment 4 for bug 1286184

also please enable /proc/config.gz in all Ubuntu Touch kernels ... it is hard to find out about such options since we do not install the package and thus have no /boot/config-* file installed (the kernel binary gets pulled into the boot.img creation during teh android package build only)