Comment 18 for bug 222799

Revision history for this message
Michael Vogt (mvo) wrote :

The kernel upgrade seems to have worked, so if the system does not boot anymore, then this is clearly a kernel bug too.