From 19871cbb967223b5fc86ca0886d5ead78669c92d Mon Sep 17 00:00:00 2001
From: Michael Brown <mcb30@etherboot.org>
Date: Tue, 10 Jul 2007 04:32:30 +0100
Subject: [PATCH] We probably ought not to call INT13 with interrupts disabled.

---
 src/arch/i386/interface/pcbios/int13.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/arch/i386/interface/pcbios/int13.c b/src/arch/i386/interface/pcbios/int13.c
index 27a033b3..0205d366 100644
--- a/src/arch/i386/interface/pcbios/int13.c
+++ b/src/arch/i386/interface/pcbios/int13.c
@@ -646,6 +646,7 @@ int int13_boot ( unsigned int drive ) {
 					   "pushw $0\n\t"
 					   "popw %%es\n\t"
 					   "stc\n\t"
+					   "sti\n\t"
 					   "int $0x13\n\t"
 					   "sti\n\t" /* BIOS bugs */
 					   "jc 1f\n\t"