[coreboot] RFC: Replacing IS_ENABLED(CONFIG_XXX) with the shorter CONFIG(XXX)