linux/scripts/prune-kernel