HomeFreeBSD

LinuxKPI: Make FPU sections thread-safe and use the NOCTX flag.