Add ux/kerntypes.h and ux/inodef.h; prefix kernel-specific type names with __ux_ (typedefs to public names are used in the appropriate headers).