Wonder if it will be better to use single inf file (inside CPUTimerLib) withSOURCES.RISCV64 or current implementation is recommended?