Do we have any policy on the use of lint against the kernel, and adding
lint commands to the kernel for that purpose?

I ask because I'd like to strip all the /* ARGSUSED */ stuff out of
sys/arch/pmax - it's used in maybe 4 or 5 files.