[U-Boot] [PATCH 09/20] x86: coreboot: Set CONFIG_ARCH_DEVICE_TREE correctly