Re: [coreboot] Two issues in the build system