Consider formalizing tcall interface

[jxyang]

The target interface (between the kernel and target) employs tcalls, which are defined as follows.

long tcall(long n, long params[6]);

Consider formalizing this API as an interface in C (a structure with function pointers). This way, the interface would be type safe and easier to provide new implementations for.