diff --git a/arch/x86_64/tools/mcstop+release-smp-x86.sh.in b/arch/x86_64/tools/mcstop+release-smp-x86.sh.in
index 6df5ad16..09fd55c9 100644
--- a/arch/x86_64/tools/mcstop+release-smp-x86.sh.in
+++ b/arch/x86_64/tools/mcstop+release-smp-x86.sh.in
@@ -48,6 +48,9 @@ if ls /dev/mcos* 1>/dev/null 2>&1; then
 	done
 fi
 
+# Allow ihkmond to flush kmsg buffer
+sleep 2.0
+
 # Query IHK-SMP resources and release them
 if ! ${SBINDIR}/ihkconfig 0 query cpu > /dev/null; then
 	echo "error: querying cpus" >&2