kernel: add CONFIG_CC_OPTIMIZE_FOR_* to the default config