[coreboot] Patch merged into coreboot/master: 5c8526e RS780: print the vgainfo