s390x: use CONFIG_INT128 to detect __uint128_t