Generate new kernel stubs

[PatrickvL]

With just a small addition, you could re-generate the kernel stubs to include a commented-out call to an implementation of each API (prefixed with a scope identifier), passing along all arguments read, writing the output values back to their arguments, and assigning to a return value if present.