The attached script will enable a number of AHCI-based SATA controllers without having to recompile the kernel.
The following PCI IDs are supported:
# 1b4b0640 : Marvell 88SE9128 on HPT RocketRAID 640
# 1b4b9120 : Marvell 88SE9128 found on Rocket 620A (possibly others)
# 1b4b9123 : Marvell 88SE9128 found on motherboards and HBAs
# 1b4b9125 : Marvell 88SE9125 found on HPT Rocket 62X
# 1b4b9172 : Marvell 88SE9172 found on motherboards
# 1b4b917a : Marvell