addl info: F20: message from syslogd and soft lockup/kernel bug