Fixed timer_sleep to some extent (now kernel loads properly but tests fail