diff --git a/src/cpu/x86/sipi_vector.S b/src/cpu/x86/sipi_vector.S
index 1abf3f5d3b..b40ea76f76 100644
--- a/src/cpu/x86/sipi_vector.S
+++ b/src/cpu/x86/sipi_vector.S
@@ -132,7 +132,7 @@ _start:
 	jnz	microcode_done
 
 	/* Determine if parallel microcode loading is allowed. */
-	cmp	$0xffffffff, microcode_lock
+	cmpl	$0xffffffff, microcode_lock
 	je	load_microcode
 
 	/* Protect microcode loading. */
@@ -153,7 +153,7 @@ load_microcode:
 	popa
 
 	/* Unconditionally unlock microcode loading. */
-	cmp	$0xffffffff, microcode_lock
+	cmpl	$0xffffffff, microcode_lock
 	je	microcode_done
 
 	xor	%eax, %eax