[coreboot] Re: IS_ENABLED() vs CONFIG()