[coreboot] coreinfo: use gcc wrappers