[coreboot] Documentation for using util/vgabios with coreboot?