[linux-morello] Re: [PATCH] Documentation: cheri: Add explicit checking to porting guide