We probably ought not to call INT13 with interrupts disabled.

diff --git a/src/arch/i386/interface/pcbios/int13.c b/src/arch/i386/interface/pcbios/int13.c
index 27a033b3b443e62d03d24876f2295e2401878dff..0205d3661d78f4e308d770686ca07ab052319b74 100644 (file)
--- 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"