message: after booting, print the number of possible cores
diff: @@ -595,6 +595,7 @@ int hermit_main(void)
  LOG_INFO("Current allocated memory: %zd KiB\n", atomic_int64_read(&total_allocated_pages) * PAGE_SIZE / 1024ULL);
  LOG_INFO("Current available memory: %zd MiB\n", atomic_int64_read(&total_available_pages) * PAGE_SIZE / (1024ULL*1024ULL));
  LOG_INFO("Core %d is the boot processor\n", boot_processor);
  + LOG_INFO("System is able to use %d processors\n", possible_cpus);
  if (hbmem_base)
  LOG_INFO("Found high bandwidth memory at 0x%zx (size 0x%zx)\n", hbmem_base, hbmem_size);
  