diff --git a/src/lib/hardwaremain.c b/src/lib/hardwaremain.c
index 4276027..3fe50c9 100644
--- a/src/lib/hardwaremain.c
+++ b/src/lib/hardwaremain.c
@@ -169,9 +169,9 @@
 	if (CONFIG(HAVE_ACPI_RESUME)) {
 		arch_bootstate_coreboot_exit();
 		acpi_resume(wake_vector);
+		/* We will not come back. */
 	}
-
-	return BS_WRITE_TABLES;
+	die("Failed OS resume\n");
 }
 
 static boot_state_t bs_write_tables(void *arg)