enable set systick priority for bumblebee

arch/risc-v/spike/gcc/riscv_port.h

@@ -23,6 +23,8 @@
 #define CLINT_MTIMECMP  0x4000
 #define CLINT_MTIME     0xBFF8
 
-void riscv_cpu_init();
+void port_cpu_init();
+
+void port_systick_priority_set(uint32_t priority);
 
 #endif // _RISCV_PORT_H_

arch/risc-v/spike/gcc/riscv_port_c.c

@@ -1,3 +1,9 @@
-void riscv_cpu_init() {
+#include "tos.h"
+
+__PORT__ void port_cpu_init() {
+    // DO NOTHING
+}
+
+__PORT__ void port_systick_priority_set(uint32_t priority) {
     // DO NOTHING
 }