PPC: Change lib_ppc/bat_rw.c to use high bats