Re: [coreboot] Question on VGA BIOS extraction