powerpc32: refactor x_mapped_by_bats() and x_mapped_by_tlbcam() together