update the kernel with one that works :)