RTEMS: Update RTEMS thread model