[CHERIoT] Fixes to `cheriot_cap_import` attribute#170

xdoardo merged 1 commit intoCHERIoT-Platform:cheriotCHERIoT-Platform/llvm-project:cheriotfrom

xdoardo:cheriotxdoardo/llvm-project:cheriotCopy head branch name to clipboard