allow other threads to run during device init() and make_context() since those... See merge request !14
