that archlinux patch is terrifyingly long, although it's Make options dont look unlike what i see with a vanilla 3.9.2 kernel. really looking forwards to seeing a newer known-good from bodhi or other. trying to do do everything (uboot+kernel) from recent releases and i have what seems like a good uboot hosting a ubi+ubifs debian, but i cannot get past the "booting the kernel;" nby rektide - Debian