Comment 4 for bug 1348716

@jsalisbury - I am only using ubuntu-packaged kernels. When I get a chance I'll try to identify the last working kernel. However, can you tell from the stacktrace if this is a generic kernel issue? If so, can the kernel team recreate?

@penalvch - my bios may not be at the latest version, but we cannot expect users to go through the hassle of flashing their bios just to write data to an SD card.