ahci(4): Add another device ID for Marvell 9128 SATA controller: 0x91a3

[michaelo]

Summary

This was encountered on a Gigabyte GA-P55A-UD4 motherboard identifying itself
as:
ahci0@pci0:2:0:0: class=0x01018f rev=0x11 hdr=0x00 vendor=0x1b4b device=0x91a3 subvendor=0x1458 subdevice=0xb000

vendor     = 'Marvell Technology Group Ltd.'
class      = mass storage
subclass   = ATA

The physical chip has "88SE9128-NAA2" printed on it.

Similar code has been in Linux for a long time:
https://github.com/torvalds/linux/commit/50be5e3657cd2851a297dc0b3fd459f25829d29b

Co-authored-by: Michael Osipov <[e-mail]>
PR: 288526

[michaelo]

Fix formatting

[jhb]

sys/dev/ahci/ahci_pci.c

299

I would move this down to here to keep the IDs sorted.

[michaelo]

sys/dev/ahci/ahci_pci.c

299

I see, I added it up there on purpose to retain the order of the device description, but I am fine with either.

[michaelo]

Sort as @jhb has advised