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