lib/random32.c: minor cleanups and kdoc fix