Use my version of the kernel ;)