Backport PR #4336: use simple replacement rather than string formatting in format_kernel_cmd

closes #4334