Symbol: PCB_KERN_FPU_NOSAVE