[coreboot] Patch merged into coreboot/master: 33fc183 Revert order in VGA device choice