[linux-morello] Re: [PATCH] linux/types.h: Fix definition of uintcap_t