kernel: Avoid unnecessary savedefconfig

Change-Id: I5400e549a6574208d67c5d107ca56eee402fa7f2
1 file changed