[SeaBIOS] [Bochs] [PATCH RFC] shadow: Change order of PCI writes