[SeaBIOS] [PATCH] ahci: Set upper 32-bit registers to zero