Comment # 3 on bug 1141998 from Ruediger Oertel

fine with me, 5.3.7 looks solid again
obs-arm-1:~ # uptime
 13:20:55  up 4 days  0:36,  1 user,  load average: 47.53, 49.25, 51.11
obs-arm-7:~ # uptime
 13:21:06  up 4 days  0:46,  1 user,  load average: 68.58, 56.14, 52.83
obs-arm-9:~ # uptime
 13:21:30  up 4 days  0:35,  1 user,  load average: 61.20, 61.01, 58.19