[SeaBIOS] [PATCH v2 3/4] ahci: fix off-by-one in port count