Re: [coreboot] coreinfo: use gcc wrappers