On Tue, Dec 08, 2015 at 06:36:04AM +0100, Ingo Molnar wrote:

> So I checked my NHM box with your latest queue and it now works correctly. Do you 
> have any idea what the difference is/was?

Sadly, no clue :/

I went over those patches and cannot find anything that should affect
NHM (or <=SNB in fact).