Re: [coreboot] VGA cleanup advice