Checkout @Carreau's branch and install the kernel