arch/threads.h now uses the correct header for mutexes.