[acpi] Allow time for ACPI power off to take effect

The ACPI power off sequence may not take effect immediately.  Delay
for one second, to eliminate potentially confusing log messages such
as "Could not power off: Error 0x43902001 (http://ipx".

Reported-by: Leonid Vasetsky <leonidv@velostrata.com>
Signed-off-by: Michael Brown <mcb30@ipxe.org>

src/arch/x86/interface/pcbios/acpipwr.c

 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
 
+#include <unistd.h>
 #include <errno.h>
 #include <byteswap.h>
 #include <realmode.h>
 			 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;
 }