Re: [coreboot] coreinfo: `make` fails due to `error: conflicting types for ‘size_t’`