looking for MDP_FPUSED in l->l_md.md_flags, instead of l->l_addr->u_pcb.pcb_fpcpu being non-NULL. The latter indicates that FP state is live in the FPU *now*, but doesn't indicate whether there is any state saved in the PCB.