[Bug 372582] SD card crashes SMP kernel