POWERPC: Add synchronization to write_bat in lib_ppc/bat_rw.c