Re: [coreboot] problem compiling Coreboot+SeaBIOS+VGA BIOS