use simple replacement rather than string formatting in format_kernel_cmd

closes #4334

candidate for backport