Symbol: FPU_KERN_CTX_NPXINITDONE