Don't offer to patch the kernel if it is allreay done