Skip memcpy in badrand

kern/libkern/badrand.c

@@ -30,8 +30,7 @@ void badrand_buf(char *buf, size_t len) {
     unsigned char *p = (unsigned char *)buf;
 
     while (len >= 8) {
-        uint64_t r = badrand();
-        memcpy(p, &r, 8);
+        *(uint64_t *)p = badrand();
         p += 8;
         len -= 8;
     }