diff --git a/config b/config
index c2256ac..0525b95 100644
--- a/config
+++ b/config
@@ -1,6 +1,6 @@
 #
 # Automatically generated file; DO NOT EDIT.
-# Linux/x86 4.13.10 Kernel Configuration
+# Linux/x86 4.13.12 Kernel Configuration
 #
 CONFIG_64BIT=y
 CONFIG_X86_64=y
diff --git a/series.conf b/series.conf
index aac20d0..400d801 100644
--- a/series.conf
+++ b/series.conf
@@ -22,7 +22,5 @@ patches.xen/xsa155-linux44-0013-xen-blkfront-prepare-request-locally-only-then-p
 # MSI-X enabled device passthrough fix (#1734)
 patches.xen/pci_op-cleanup.patch
 
-patches.xen/5266b8e4445c-xen-fix-booting-ballooned-down-hvm-guest.patch
-
 # Fix for MSI support with stubdoms
 patches.xen/xen-pciback-add-attribute-to-allow-MSI-enable-flag-w.patch
diff --git a/version b/version
index 6c51b46..e33e13b 100644
--- a/version
+++ b/version
@@ -1 +1 @@
-4.13.10
+4.13.12