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