[Bug 552112] slow clock on Amilo Pro 2030 with NO_HZ=y