refresh kernel configs with kconfig.pl