[SeaBIOS] Re: [PATCH] ahci: handle TFES irq correctly