Kernel API implementation can now return a coroutine to call (and hence, can be implemented as generators).