RISC-V Extensions query for QEMU System