[PORT_TC4] = { DVO_PORT_HDMII, DVO_PORT_DPI, -1 },
        };
 
-       if (DISPLAY_VER(i915) == 13)
+       if (DISPLAY_VER(i915) >= 13)
                return __dvo_port_to_port(ARRAY_SIZE(xelpd_port_mapping),
                                          ARRAY_SIZE(xelpd_port_mapping[0]),
                                          xelpd_port_mapping,
                        aux_ch = AUX_CH_C;
                break;
        case DP_AUX_D:
-               if (DISPLAY_VER(i915) == 13)
+               if (DISPLAY_VER(i915) >= 13)
                        aux_ch = AUX_CH_D_XELPD;
                else if (IS_ALDERLAKE_S(i915))
                        aux_ch = AUX_CH_USBC3;
                        aux_ch = AUX_CH_D;
                break;
        case DP_AUX_E:
-               if (DISPLAY_VER(i915) == 13)
+               if (DISPLAY_VER(i915) >= 13)
                        aux_ch = AUX_CH_E_XELPD;
                else if (IS_ALDERLAKE_S(i915))
                        aux_ch = AUX_CH_USBC4;
                        aux_ch = AUX_CH_E;
                break;
        case DP_AUX_F:
-               if (DISPLAY_VER(i915) == 13)
+               if (DISPLAY_VER(i915) >= 13)
                        aux_ch = AUX_CH_USBC1;
                else
                        aux_ch = AUX_CH_F;
                break;
        case DP_AUX_G:
-               if (DISPLAY_VER(i915) == 13)
+               if (DISPLAY_VER(i915) >= 13)
                        aux_ch = AUX_CH_USBC2;
                else
                        aux_ch = AUX_CH_G;
                break;
        case DP_AUX_H:
-               if (DISPLAY_VER(i915) == 13)
+               if (DISPLAY_VER(i915) >= 13)
                        aux_ch = AUX_CH_USBC3;
                else
                        aux_ch = AUX_CH_H;
                break;
        case DP_AUX_I:
-               if (DISPLAY_VER(i915) == 13)
+               if (DISPLAY_VER(i915) >= 13)
                        aux_ch = AUX_CH_USBC4;
                else
                        aux_ch = AUX_CH_I;