diff --git a/src/system/boot/platform/efi/start.cpp b/src/system/boot/platform/efi/start.cpp
index 9e3a88950d..f0fe747ae8 100644
--- a/src/system/boot/platform/efi/start.cpp
+++ b/src/system/boot/platform/efi/start.cpp
@@ -180,6 +180,7 @@ platform_start_kernel(void)
 extern "C" void
 platform_exit(void)
 {
+	kRuntimeServices->ResetSystem(EfiResetCold, EFI_SUCCESS, 0, NULL);
 	return;
 }