Re: [U-Boot] [RESEND PATCH v4 05/12] x86: coreboot: Make SYS_CONFIG_NAME and DEFAULT_DEVICE_TREE configurable