[SeaBIOS] Issues with AHCI and AMD SB700