refresh generic kernel configs using kconfig.pl