Kernel compilation: make syncconfig

make syncconfig is invoked if .config is newer than

• include/config/auto.conf,
• */config/auto.conf.cmd,
• */generated/autoconf.h (for example include/generated/autoconf.h) or
• */generated/rustc_cfg

(see corresonding source lines in Makefile).