diff --git a/configs/open1788/nsh/defconfig b/configs/open1788/nsh/defconfig
index 70e98e55d68..c04baba6072 100644
--- a/configs/open1788/nsh/defconfig
+++ b/configs/open1788/nsh/defconfig
@@ -223,7 +223,7 @@ CONFIG_ARCH_STACKDUMP=y
 #
 # Board Settings
 #
-CONFIG_BOARD_LOOPSPERMSEC=8079
+CONFIG_BOARD_LOOPSPERMSEC=11852
 # CONFIG_ARCH_CALIBRATION is not set
 CONFIG_DRAM_START=0x10000000
 CONFIG_DRAM_SIZE=65536
diff --git a/configs/open1788/ostest/defconfig b/configs/open1788/ostest/defconfig
index 4bfad096334..1d85df4afee 100644
--- a/configs/open1788/ostest/defconfig
+++ b/configs/open1788/ostest/defconfig
@@ -223,7 +223,7 @@ CONFIG_ARCH_STACKDUMP=y
 #
 # Board Settings
 #
-CONFIG_BOARD_LOOPSPERMSEC=8079
+CONFIG_BOARD_LOOPSPERMSEC=11852
 # CONFIG_ARCH_CALIBRATION is not set
 CONFIG_DRAM_START=0x10000000
 CONFIG_DRAM_SIZE=65536
diff --git a/include/syslog.h b/include/syslog.h
index cfb2db97b15..d033e06c2fa 100644
--- a/include/syslog.h
+++ b/include/syslog.h
@@ -44,6 +44,7 @@
 
 #include <stdint.h>
 #include <stdarg.h>
+#include <stdbool.h>
 
 /****************************************************************************
  * Pre-processor Definitions
diff --git a/sched/task_restart.c b/sched/task_restart.c
index 5f3d80156c7..27bc4fc47f1 100644
--- a/sched/task_restart.c
+++ b/sched/task_restart.c
@@ -177,7 +177,7 @@ int task_restart(pid_t pid)
 #ifdef CONFIG_PRIORITY_INHERITANCE
       tcb->cmn.base_priority = tcb->init_priority;
 #  if CONFIG_SEM_NNESTPRIO > 0
-      tcb->npend_reprio = 0;
+      tcb->cmn.npend_reprio = 0;
 #  endif
 #endif