diff --git a/arch/x86/src/i486/i486_utils.S b/arch/x86/src/i486/i486_utils.S
index 097c35421d5..224870a4ff7 100644
--- a/arch/x86/src/i486/i486_utils.S
+++ b/arch/x86/src/i486/i486_utils.S
@@ -57,7 +57,7 @@
 
 	.type	gdt_flush, @function
 gdt_flush:
-	movl	%eax, 4(%esp)	/* Get the pointer to the GDT, passed as a parameter */
+	movl	4(%esp), %eax	/* Get the pointer to the GDT, passed as a parameter */
 	lgdt	(%eax)			/* Load the new GDT pointer */
 
 	mov		$KSEG, %ax 		/* KSEG is the offset in the GDT to our data segment */
@@ -77,7 +77,7 @@ gdt_flush:
 
 	.type	idt_flush, @function
 idt_flush:
-	movl	%eax, 4(%esp)	/* Get the pointer to the IDT, passed as a parameter */
+	movl	4(%esp), %eax	/* Get the pointer to the IDT, passed as a parameter */
 	lidt	(%eax)			/* Load the IDT pointer */
 	ret
 	.size	idt_flush, . - idt_flush