if TARGET_COREBOOT config SYS_BOARD default "coreboot" config SYS_VENDOR default "coreboot" config SYS_SOC default "coreboot" config SYS_CONFIG_NAME default "coreboot" endif