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"