diff --git a/src/interface/efi/efi_driver.c b/src/interface/efi/efi_driver.c
index 56918deba..5e8d253f0 100644
--- a/src/interface/efi/efi_driver.c
+++ b/src/interface/efi/efi_driver.c
@@ -307,7 +307,7 @@ efi_driver_stop ( EFI_DRIVER_BINDING_PROTOCOL *driver __unused,
 	if ( ! efidev ) {
 		DBGCP ( device, "EFIDRV %s is not started\n",
 			efi_handle_name ( device ) );
-		return EFI_DEVICE_ERROR;
+		return 0;
 	}
 
 	/* Raise TPL */