kernel/ppc: Fix a tsleep with NULL ident.
<sys/systm.h>: Mark various function parameters as __nonnull().

I guess we have KASSERTs too for some of these (tsleep(), I'm sure), but
it is always nice to catch issues at build time already.