[SeaBIOS] Re: PATCH: Fix AHCI init regression on the coreboot payload