[coreboot] IS_ENABLED() vs CONFIG()