diff --git a/src/arch/x86/interface/pcbios/acpipwr.c b/src/arch/x86/interface/pcbios/acpipwr.c
index 63b986b68..d19f972d5 100644
--- a/src/arch/x86/interface/pcbios/acpipwr.c
+++ b/src/arch/x86/interface/pcbios/acpipwr.c
@@ -23,6 +23,7 @@
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
 
+#include <unistd.h>
 #include <errno.h>
 #include <byteswap.h>
 #include <realmode.h>
@@ -111,6 +112,11 @@ int acpi_poweroff ( void ) {
 			 ACPI_PM1_CNT_SLP_EN ), pm1b_cnt );
 	}
 
+	/* On some systems, execution will continue briefly.  Delay to
+	 * avoid potentially confusing log messages.
+	 */
+	mdelay ( 1000 );
+
 	DBGC ( colour, "ACPI power off failed\n" );
 	return -EPROTO;
 }