Kernel: Change up the logging in the kernel's PRNG

kernel/src/rand/Init.cpp

@@ -38,11 +38,11 @@ static uint64_t rdrand()
 
 void Mersenne::init()
 {
-    kdbgln("Preparing random number generator");
-
     has_rdrand = CPU::has_feature(CPU::Features::RDRAND);
     has_rdseed = asm_test_rdseed();
 
+    if (!has_rdrand && !has_rdseed) kwarnln("CPU does not support either RDRAND or RDSEED");
+
     state ^= (0x45fe1024UL + __moon_version_major()) * (__moon_version_minor() ^ 200UL);
 
     state ^= 0xe0e4f5332ea75b;