diff --git a/configs/lc823450-xgevk/README.txt b/configs/lc823450-xgevk/README.txt
index 63db6a0a308..a152c893e1f 100644
--- a/configs/lc823450-xgevk/README.txt
+++ b/configs/lc823450-xgevk/README.txt
@@ -45,13 +45,33 @@ to set MSP (main stack pointer) as follows.
 SMP related Status
 ^^^^^^^^^^^^^^^^^^
 
-Currently all applications except for ostest work in SMP mode but might stop
-due to deadlocks or ASSERT().
-
 CPU activities are shown at D9 (CPU0) and D10 (CPU1) respectively.
 
-1. "nsh> smp" works but the result will be corrupted.
-2. "nsh> ostest" works but might cause a deadlock or assertion.
+Currently all applications except for ostest work in SMP mode but might stop
+due to deadlocks or ASSERT(). For a workaround, please try
+
+$ cd apps; git diff
+diff --git a/examples/ostest/waitpid.c b/examples/ostest/waitpid.c
+index 687f50ca..8418eff8 100644
+--- a/examples/ostest/waitpid.c
++++ b/examples/ostest/waitpid.c
+@@ -54,7 +54,7 @@
+  ****************************************************************************/
+ 
+ #define RETURN_STATUS 14
+-#define NCHILDREN     3
++#define NCHILDREN     2
+ #define PRIORITY      100
+ 
+ /****************************************************************************
+
+If other deadlocks or ASSERT() still happen, please try the following.
+
+$ cd nuttx; git revert e238c8b0904988b966c3b33e7df2ba3faba52e2b
+
+This will revert the changes for clock_systimer() for 64bit so that it can
+use spinlock to protect the internal data. We think that there still exist
+race conditions somewhere in SMP logic but the revert might relax the conditions.
 
 Other Status
 ^^^^^^^^^^^^
diff --git a/configs/lc823450-xgevk/audio/defconfig b/configs/lc823450-xgevk/audio/defconfig
index ae8ef0ad376..e06f30abc50 100644
--- a/configs/lc823450-xgevk/audio/defconfig
+++ b/configs/lc823450-xgevk/audio/defconfig
@@ -127,6 +127,7 @@ CONFIG_START_MONTH=10
 CONFIG_START_YEAR=2013
 CONFIG_SYSTEM_I2CTOOL=y
 CONFIG_SYSTEM_NXPLAYER=y
+CONFIG_SYSTEM_TIME64=y
 CONFIG_SYSTEM_USBMSC_CMD_STACKSIZE=2048
 CONFIG_SYSTEM_USBMSC_DEVPATH1="/dev/mtdblock0p10"
 CONFIG_SYSTEM_USBMSC_DEVPATH2="/dev/mtdblock1"
diff --git a/configs/lc823450-xgevk/nsh/defconfig b/configs/lc823450-xgevk/nsh/defconfig
index 74040a67398..91b32fbe49b 100644
--- a/configs/lc823450-xgevk/nsh/defconfig
+++ b/configs/lc823450-xgevk/nsh/defconfig
@@ -124,6 +124,7 @@ CONFIG_START_DAY=3
 CONFIG_START_MONTH=10
 CONFIG_START_YEAR=2013
 CONFIG_SYSTEM_I2CTOOL=y
+CONFIG_SYSTEM_TIME64=y
 CONFIG_TASK_NAME_SIZE=24
 CONFIG_UART0_RXBUFSIZE=512
 CONFIG_UART0_SERIAL_CONSOLE=y
diff --git a/configs/lc823450-xgevk/rndis/defconfig b/configs/lc823450-xgevk/rndis/defconfig
index c07e826ca66..32a899edd9d 100644
--- a/configs/lc823450-xgevk/rndis/defconfig
+++ b/configs/lc823450-xgevk/rndis/defconfig
@@ -150,6 +150,9 @@ CONFIG_SCHED_HAVE_PARENT=y
 CONFIG_SCHED_HPWORKPERIOD=50000
 CONFIG_SCHED_HPWORKPRIORITY=192
 CONFIG_SCHED_HPWORK=y
+CONFIG_SCHED_INSTRUMENTATION_BUFFER=y
+CONFIG_SCHED_INSTRUMENTATION_PREEMPTION=y
+CONFIG_SCHED_INSTRUMENTATION=y
 CONFIG_SCHED_LPWORK=y
 CONFIG_SCHED_ONEXIT_MAX=32
 CONFIG_SCHED_ONEXIT=y
@@ -169,6 +172,7 @@ CONFIG_START_YEAR=2013
 CONFIG_SYSTEM_I2CTOOL=y
 CONFIG_SYSTEM_NXPLAYER=y
 CONFIG_SYSTEM_PING=y
+CONFIG_SYSTEM_TIME64=y
 CONFIG_TASK_NAME_SIZE=24
 CONFIG_TELNET_CHARACTER_MODE=y
 CONFIG_UART0_RXBUFSIZE=512
diff --git a/configs/lc823450-xgevk/usb/defconfig b/configs/lc823450-xgevk/usb/defconfig
index 4b680dbd510..3ca1889d1bf 100644
--- a/configs/lc823450-xgevk/usb/defconfig
+++ b/configs/lc823450-xgevk/usb/defconfig
@@ -126,6 +126,7 @@ CONFIG_START_DAY=3
 CONFIG_START_MONTH=10
 CONFIG_START_YEAR=2013
 CONFIG_SYSTEM_I2CTOOL=y
+CONFIG_SYSTEM_TIME64=y
 CONFIG_SYSTEM_USBMSC_CMD_STACKSIZE=2048
 CONFIG_SYSTEM_USBMSC_DEVPATH1="/dev/mtdblock0p10"
 CONFIG_SYSTEM_USBMSC_DEVPATH2="/dev/mtdblock1"