Revert "pci.c: try a different version of write_flush()"