bsp: k230: use sysctl to reboot the board

Signed-off-by: Wang Chen <unicorn_wang@outlook.com>

bsp/k230/board/board.c

@@ -17,7 +17,7 @@
 
 #include "drv_uart.h"
 
-#include <sbi.h>
+#include "sysctl_boot.h"
 
 #ifdef RT_USING_SMART
 #include <mmu.h>
@@ -126,7 +126,7 @@ void rt_hw_board_init(void)
 
 void rt_hw_cpu_reset(void)
 {
-    sbi_shutdown();
+    sysctl_boot_reset_soc();
     while(1);
 }
 MSH_CMD_EXPORT_ALIAS(rt_hw_cpu_reset, reboot, reset machine);