kernel/include/config/HAVE_GCC_PLUGINS