message: print information if SMP support is available
diff: @@ -356,6 +356,8 @@ fn boot_processor_main() -> ! {
  info!("Compiled with ACPI support");
  #[cfg(feature = "fsgsbase")]
  info!("Compiled with FSGSBASE support");
  + #[cfg(feature = "smp")]
  + info!("Compiled with SMP support");
  // Start the initd task.
  scheduler::PerCoreScheduler::spawn(initd, 0, scheduler::task::NORMAL_PRIO, 0, USER_STACK_SIZE);
  