hw: simplify return value of Kernel::resume_thread

ref #1101
hw: split resume_local_thread from resume_thread

Kernel::resume_thread was restricted to core when the targeted thread was in
another domain. Now there are two kernel calls, resume_local_thread and
resume_thread, where the former is never restricted and is provided via
public kernel/interface.h and the latter is always restricted to core and
is provided via core-local kernel/core_interface.h.

ref #1101
hw: centralize permission check of kernel calls

ref #1101
hw: correct spelling of the verb look up

fix #1101