Symbol: PCB_KERNFPU_THR