Re: [coreboot] question on libgfxinit DP port number