Comment 62 for bug 1245938

Thanks for testing, Fernando. I'll let the upstream developer know that his patch fixes the issue. We should look at your other issue that prevents newer kernels from booting, since this patch from upstream will land in mainline first and may not end up in the 3.5 kernel tree since it requires a bunch of other prereq commits.

Can you open a new bug for the boot issue?