Update model/riscv_insts_zicboz.sail

Co-authored-by: Alexander Richardson <[email protected]>
Signed-off-by: Tim Hutt <[email protected]>

model/riscv_insts_zicboz.sail

@@ -29,8 +29,6 @@ function clause execute(RISCV_ZICBOZ(rs1)) = {
     // is aligned to the cache block, or negative if rs1 is misaligned.
     let offset = (rs1_val & ~(zero_extend(ones(cache_block_size_exp)))) - rs1_val;
 
-    // TODO: This is not correct since CHERI treats CBO operations
-    // differently to normal accesses with respect to bounds checks.
     match ext_data_get_addr(rs1, offset, Write(Data), cache_block_size) {
       Ext_DataAddr_Error(e) => { ext_handle_data_check_error(e); RETIRE_FAIL },
       Ext_DataAddr_OK(vaddr) => {