Re: [coreboot] [PATCH]improve support for parallel make in kconfig