[SeaBIOS] [PATCH v2 4/4] ahci: set controller id