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