[PATCH v6 15/24] RISC-V: KVM: Support 64 bit firmware counters on RV32