diff --git a/arch/x86/tools/mcreboot-attached-mic.sh.in b/arch/x86/tools/mcreboot-attached-mic.sh.in
index a20581e5..07ab608e 100755
--- a/arch/x86/tools/mcreboot-attached-mic.sh.in
+++ b/arch/x86/tools/mcreboot-attached-mic.sh.in
@@ -35,6 +35,8 @@ if lsmod | awk 'BEGIN{rc=1}$1 == "mic"{rc=0}END{exit(rc)}'; then
 	sudo service mpss unload
 fi
 
+"$SBINDIR/ihkosctl" 0 shutdown
+
 for mod_name in mcctrl ihk_mic ihk; do
 	if lsmod | awk 'BEGIN{rc=1}$1 == "'"$mod_name"'"{rc=0}END{exit(rc)}'; then
 		modules_were_loaded="1"