new script: kernel-remove-old