[coreboot] [PATCH] coreinfo: Build system fixes