tree 60e8b70525f9bb4770e4129b8112bcc78c89a485
parent 99f10f30d15c287ed8e27159a1a4350a1228bc51
author Nico Huber <nico.h@gmx.de> 1479731623 +0100
committer Nico Huber <nico.h@gmx.de> 1481666287 +0100

gma: Rename ports Digital[123] => HDMI[123]

Before we had DP support, Digital just meant HDMI or DVI, but now it's
pretty confusing. Rename them to HDMI as it supersedes DVI.

Change-Id: Ie8b4c60ac60040aa5c725ffc9cd06aa164391756
Signed-off-by: Nico Huber <nico.h@gmx.de>
Reviewed-on: https://review.coreboot.org/17750
Reviewed-by: Reto Buerki <reet@codelabs.ch>