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