kernel: refresh config files using kconfig.pl