# CONFIG_CC_OPTIMIZE_FOR_PERFORMANCE is not set