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