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