* H. J. Lu: >> Hmm. Xeon E3-1240 v6 has model number 158 (0x9e), too. > > Does it have RTM? Yes, it does. Maybe we should try to track down Siddhesh's bug instead?