RV64I extensions