Restore the SP from the new thread's PCB before calling pmap_activate. Remove some old FIXME comments.