[linux-morello] Re: [PATCH v2] kernel: kcmp: Fix syscall ABI for purecap