Symbol: PCB_KERN_FPU