Since there is nothing shared between RiscV and X86, can you put the driver in a different folder such as RiscVCpuDxe?