Comment # 5 on bug 1043591 from Jiri Slaby

(In reply to Michal Marek from comment #2)
> gcc-devel is a dependency of CONFIG_GCC_PLUGINS, but we do not actually use
> any of the plugins except when building kernel-syzkaller. So the easiest
> would be to switch off CONFIG_GCC_PLUGINS in the default kernel and limit
> the build dependency to kernel-syzkaller. Ji����, what do you think?

Fine by me as long as everything still works :).