Arg, sorry, I read the code brokenly. You're right, of course.
Yes, those all have PAT enabled.
Yes, that would be a suitable course of action; moving it to
Intel-specific code. Then the Intel people can worry about lifting the
remaining blacklisted CPUs.
-hpa
--