Re: F20: message from syslogd and soft lockup/kernel bug