[coreboot] SeaBIOS question and cross compilation fix.