target/s390x: get rid of next_core_id