Merge "__riscv_flush_icache() still ignores the address range in 6.12." into main