PPC: Create and use CONFIG_HIGH_BATS