gcc-plugins: make it possible to disable CONFIG_GCC_PLUGINS again