AHCI: Support for Marvell 88SE9128
The Marvell 88SE9128 AHCI Controller was suffering by the same bug as ASMedia ASM1062, i.e. 64-bit writes to PxCLB, PxCLBU, PxFB, and PxFBU failed - see Bug #3797. After the fix the 88SE9128 started to work somehow, but unreliably. Sometime the attached disks were detected, but usually not.
In general, the port reset (in function ahci_port_reset) is failing.
The problem is that the ahci_port_reset() does not follow the port reset sequence as documented in the AHCI spec, section 10.4.2.