Sorry, I've read the Linux kernel. Not a paragon of coding or design. Mr Linus is not a good programmer.

And he'd have to be an expert on Intel processor internals, which he really can't be. Not in a position to know the details.