config: Remove the POSIX thread model patch.

Switch back the RTEMS thread model now it is fixed for SMP. This also
works for some tests that where failing.