rem: void thread_atkernel_entry(void)
add: thread_atkernel_entry(void)
context: void thread_atkernel_entry(void){	int state;	struct thread *t;	bigtime_t now;//	dprintf("thread_atkernel_entry: entry thread 0x%x\n", t->id);	t = thread_get_current_thread();	state = disable_interrupts();	// track user time	now = system_time();	t->user_time += now - t->last_time;	t->last_time = now;	GRAB_THREAD_LOCK();	t->in_kernel = true;	_check_for_thread_sigs(t, state);	RELEASE_THREAD_LOCK();	restore_interrupts(state);}