Re: [coreboot] [PATCH] artecgroup/dbe61: Set up some video memory, as the device has VGA output.