void init_smp (void)
Initialize the SMP functionality of the system, assuming the hardware (e.g. x86) supports SMP.