ahci: add another PCI ID for marvell