Re: [coreboot] How to make a release build ?