RV64I - Base Integer, 64-bit