Re: [coreboot] [PATCH] RFC: autocreate Kconfig from DTS