HomeFreeBSD

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