Seems that the problem was that the kernel was exiting, and only the timer_wait() was keeping it alive.. Fixed now.