Fix KP on Xeon E5

The Intel datasheet states that it is supported on the E3-1200 but that
probably makes us crash on E5's