kernel/async.c: fix pr_debug statement