... and fixed the kernel to build =)