rtems_bsd_mutex: Optimize
BSD_ASSERT(): Optimize