I was a little confused about this as well - until I realised they don't actually specify that this is the Linux kernel. I suspect what they're talking about here is the Windows kernel.