OK, thanks. Then could you boot with no_console_suspend option and get the kernel messages during the (broken) suspend/resume?