Fix segfault with timer reset and -nb cpu