Symbol: PCB_USERFPUINITDONE