configs: k2*_evm: rename skernel binary names to generated file names