[coreboot] question on libgfxinit DP port number

[Iru Cai]

Hi,

I found the mainboard DP port doesn't have output before kernel starts in
hp/2570p (https://review.coreboot.org/c/20489/). After I added DP3 and
HDMI3 in port list, the DP port had output, and cbmem log said it's DP3.
However, xrandr says this port is DP2. What is the problem?

I also checked lenovo/x230, but the port named DP2 in xrandr or
/sys/class/drm/card0-DP-2 is also shown as DP2 in cbmem log.

Thanks,
Iru