Add CPU::platform_string

kernel/src/arch/CPU.h

@@ -6,6 +6,8 @@ struct Registers;
 namespace CPU
 {
     Result<const char*> identify();
+    const char* platform_string();
+
     void platform_init();
 
     [[noreturn]] void efficient_halt();

kernel/src/arch/x86_64/CPU.cpp

@@ -296,6 +296,11 @@ namespace CPU
         return brand_string;
     }
 
+    const char* platform_string()
+    {
+        return "x86_64";
+    }
+
     void platform_init()
     {
         enable_sse();