Moved more typedefs to the _kernel_c.h to make them accessible from the C implementations.