Comment 5 for bug 1383968

This bug should be considered invalid.

With further testing (after updating the bios) some computers are now booting as expected. One is not, but one doesn't convince me that it would be a kernel issue, especially since others do.