Re: How to modify defconfig file - make savedefconfig?