Re: [PATCH 0/2] sysconfig: make kexec_file_load as default option