tweak icc_UINT128 patch for libffi 3.0.11, use it for ictce libffi 3.0.11 easyconfigs