x86: coreboot: Make SYS_CONFIG_NAME and DEFAULT_DEVICE_TREE configurable