kernel: fix is_single_threaded