Chris,
The error with the Marvel SATA ports could be related to drivers, the Operating System or to the hardware.
So, we can try to go back to BIOS 0064 in order to check if the error disappears, however I cannot guarantee the TV tuner card is going to work.
Do you have any device connected to the Marvel SATA ports (gray ports)?
Is the device being recognized on the BIOS?