Restrict visibility of lwkt_schedule_remote() to SMP.