Update notes for submitted changes

* smpboot, idle: Optimize calls to smp_processor_id() in idle_threads_init()