Comment 10 for bug 550559

Crashbit's post reminded me: switching to the non-Marvell port fixed the problem for me, but it should be considered a WORKAROUND. You can't get SATA3 speeds from it. For me, the drive was SATA2 anyway. It might be that you have to set your bios to ahci or sata, too.

It is probably a good idea to re-install linux once you change the ports, too, as disk corruption caused by the original problem can cause ongoing crashes.

I changed the port, re-installed, and have had zero problems for the last two weeks.