[kbuild-all] [avpatel:riscv_kvm_v10 6/31] arch/riscv/kernel/sbi.c:214:12: error: 'SBI_EXT_TIME' undeclared; did you mean 'STA_PPSTIME'?