Re: [U-Boot] [PATCH V3 7/8] configs: k2*_evm: rename skernel binary names to generated file names