tree 4a7fc2455dc8d57753b3857fccb020ea96384eb5
parent 318bca1636edc2c550068398be10977e45c45a2b
author Nico Huber <nico.h@gmx.de> 1528559765 +0200
committer Nico Huber <nico.h@gmx.de> 1557159652 +0000

gma config: Introduce Have_HDMI_Buf_Override

Change-Id: Id00ae200cc8d08ce245d57b2886a40f0fea10167
Signed-off-by: Nico Huber <nico.h@gmx.de>
Reviewed-on: https://review.coreboot.org/c/libgfxinit/+/27049
Reviewed-by: Arthur Heymans <arthur@aheymans.xyz>