Kernel keeps information about each cpu

- kernel maintains a cpu_info array which contains various
  information about each cpu as filled when each cpu boots

- the information contains idetification, features etc.

kernel/main.c

@@ -40,6 +40,8 @@ PUBLIC void bsp_finish_booting(void)
 #endif /* SPROFILE */
   cprof_procs_no = 0;  /* init nr of hash table slots used */
 
+  cpu_identify();
+
   vm_running = 0;
   krandom.random_sources = RANDOM_SOURCES;
   krandom.random_elements = RANDOM_ELEMENTS;