Topic: kernel compilation
I tried to compile the kernel modules from https://github.com/xobs/novena-linux but they are slightly different than the ones that come with the MicroSD image: 3.17.0-rc5-00058-g72645fd vs. 3.17.0-rc5-00217-gfd79638
So I tried to install the freshly compiled kernel, but there is not enough space on /boot . I would suggest to double the size of the /boot partition to ease kernel updates