Comment 4 for bug 1641052

The problem doesn't occur with a stock 4.8 kernel built with "make defconfig". It does occur if the timer frequency is changed to 250 from the default of 1000. The Ubuntu config uses 250, but that's nothing new.

The setting can be changed in menuconfig under "Processor type and features", the fields in .config are CONFIG_HZ_250=y and CONFIG_HZ=250 vs CONFIG_HZ_1000=y and CONFIG_HZ=1000.

A stock 4.7-rc7 kernel with the same change doesn't exhibit the problem.