Comment 28 for bug 1284043

Jorge,

I was experiencing this exact bug as described by several others. I installed your biosdevname package from the ppa and then rebooted ten times without seeing the issue again.

I think it's safe to say it fixed my bug. Let me know when this is going to be released into 14.04. Thanks!