[coreboot] problem compiling Coreboot+SeaBIOS+VGA BIOS