diff --git a/debian/patches/features/all/xen/microcode-typo.patch b/debian/patches/features/all/xen/microcode-typo.patch
new file mode 100644
index 000000000..7f091060c
--- /dev/null
+++ b/debian/patches/features/all/xen/microcode-typo.patch
@@ -0,0 +1,15 @@
+http://git.kernel.org/?p=linux/kernel/git/konrad/xen.git;a=commitdiff;h=f6c958ff0d00ffbf1cdc8fcf2f2a82f06fbbb5f4
+
+Index: linux/arch/x86/kernel/microcode_xen.c
+===================================================================
+--- linux.orig/arch/x86/kernel/microcode_xen.c	2012-12-05 13:31:49.000000000 +0000
++++ linux/arch/x86/kernel/microcode_xen.c	2012-12-05 13:32:10.000000000 +0000
+@@ -161,7 +161,7 @@
+ 	ret = UCODE_OK;
+ 
+ out:
+-	if (ret == 0)
++	if (ret == UCODE_OK)
+ 		uci->mc = uc;
+ 	else
+ 		vfree(uc);
diff --git a/debian/patches/series b/debian/patches/series
index e47450238..48c8ccdbe 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -417,3 +417,4 @@ bugfix/x86/Input-i8042-also-perform-controller-reset-when-suspe.patch
 features/all/wireless-rt2x00-rt2800pci-add-more-RT539x-ids.patch
 features/all/rt2x00-Add-RT539b-chipset-support.patch
 features/all/xen/microcode-amd-fam15plus.patch
+features/all/xen/microcode-typo.patch