x86: coreboot: Make SYS_CONFIG_NAME and DEFAULT_DEVICE_TREE configurable
[platform/kernel/u-boot.git] / board / coreboot /
drwxr-xr-x   ..
drwxr-xr-x - coreboot