From what I can find it is an issue with newer Linux Kernels, certain older Intel processors, and bad firmware. It advertises processor features incorrectly, which causes this sort of problem when those features are used. You might try seeing if there is a newer firmware version available for that system.