gma: Do not probe EDID if a port's sibling is configured

DP and HDMI ports share physical pins. We can skip the probing of a
port if the other is already configured.

Change-Id: Iff2dcab969b607be900f8569affee5e1d288caba
Signed-off-by: Nico Huber <nico.h@gmx.de>
Reviewed-on: https://review.coreboot.org/17754
Reviewed-by: Arthur Heymans <arthur@aheymans.xyz>
1 file changed
tree: 19a41d4759dadcbf455adb38520b74e2e43fbad4
  1. common/
  2. configs/
  3. .gitignore
  4. COPYING
  5. Makefile
  6. Makefile.inc
  7. TODO