bah, he's just giving a demo on how to dump the kernel.