FYI - I tested the upstream kernels (latest and daily) and found the self-same problem. Additional research found one claim that the nohz=off kernel parameter fixes the problem. This was in fact the work-around - if not the fix.
FYI - I tested the upstream kernels (latest and daily) and found the self-same problem. Additional research found one claim that the nohz=off kernel parameter fixes the problem. This was in fact the work-around - if not the fix.