[coreboot] New patch to review: 25f999d Revert changes to set the sb800 to AHCI mode. Seabios doesn't have this support included yet, which causes the generic Persimmon and other CIMx sb800 platforms to not boot.