Replace machine/rnd.h with more appropriate name to share itwith cycle counter based microtime in kern/kern_microtime.c.