Add interrupts_restore() to thread_join_timeout(). Note that this is not necessary...