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