[SeaBIOS] [SimNow] PORT_IRQ_STAT register is 0 in ahci_port_setup