Linux kernel with Novena patches -- expect frequent rebases!