[coreboot] Patch merged into coreboot/master: bdc1816 Fix technexion tim5690 board VGA handler