kernel-merge: fix formatting of run()