[linux-morello] Re: [PATCH 0/3] morello.h / cheri.h cleanups