Re: Documentation bug in kernelnewbies.org/StartKernelHacking