O Jolt suporta RISC-V de 64 bits (e continua a ficar mais rápido)