[coreboot] Question on VGA BIOS extraction