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