Hi, And `reportbug kernel` won't work cause it requires the system or kernel to be up and running. It isn't the case. This bug is leading the system to an outage on boot.
Best Regards, Helio Loureiro http://helio.loureiro.eng.br https://se.linkedin.com/in/helioloureiro http://twitter.com/helioloureiro
