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