target-s390x: add a cpu_mmu_idx_to_asc function