The TLB optimizations that he started from are fairly generic. But the kernels themselves are hand-optimized assembly, so they obviously don't port. No need to

The TLB optimizations that he started from are fairly generic. But the kernels themselves are hand-optimized assembly, so they obviously don't port. No need to rewrite for correctness, only for speed.