> I and John Stulz agreed we need Linux kernel

s/need Linux kernel/need to fix Linux kernel/, of course.