kernel: restore ikconfig (proc/config.gz)