That's the joke. The kernel is already distributed as compiled machine code.