diff --git a/conf/machine/intel-quark.conf b/conf/machine/intel-quark.conf
index e5df9417..7da054ec 100644
--- a/conf/machine/intel-quark.conf
+++ b/conf/machine/intel-quark.conf
@@ -22,3 +22,6 @@ SERIAL_CONSOLE = "115200 ttyS1"
 APPEND += "console=ttyS1,115200 console=tty0"
 
 EFI_PROVIDER = "gummiboot"
+
+# Ensure that the Lock prefix is omitted for the kernel"
+KERNEL_EXTRA_ARGS = "EXTRA_CFLAGS=-Wa,-momit-lock-prefix=yes"