diff --git a/kern/libkern/badrand.c b/kern/libkern/badrand.c
index 2f35c34..b4937b6 100644
--- a/kern/libkern/badrand.c
+++ b/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;
     }