PCPU fputhread and vecthread get reset to NULL when save_fpu()/save_vec() is
called.  Cache these.