tree 19a41d4759dadcbf455adb38520b74e2e43fbad4
parent 1b2c9a3a0c0c8dfaa539baf5db1c76ef16c317c9
author Nico Huber <nico.h@gmx.de> 1479733206 +0100
committer Nico Huber <nico.h@gmx.de> 1483288153 +0100

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>