Kernel script: Better output naming