Symbol: AHCI_MAX_PORTS