Re: [coreboot] make problem