diff --git a/src/image/lkrn.c b/src/image/lkrn.c
index 15e9c0d7b..c6c5f9b15 100644
--- a/src/image/lkrn.c
+++ b/src/image/lkrn.c
@@ -33,6 +33,7 @@ FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
 #include <ipxe/segment.h>
 #include <ipxe/io.h>
 #include <ipxe/fdt.h>
+#include <ipxe/init.h>
 #include <ipxe/lkrn.h>
 
 /** @file
@@ -227,6 +228,9 @@ static int lkrn_exec ( struct image *image ) {
 	if ( ( rc = lkrn_load ( image, &ctx ) ) != 0 )
 		return rc;
 
+	/* Shut down ready for boot */
+	shutdown_boot();
+
 	/* Jump to kernel entry point */
 	DBGC ( image, "LKRN %s jumping to kernel at %#08lx\n",
 	       image->name, ctx.entry );