[xen staging-4.12] update Xen version to 4.12.4

[patchbot@xxxxxxx]

commit 97b7b5567fba6918a656ad349051b5343b5dea2e
Author:     Jan Beulich <jbeulich@xxxxxxxx>
AuthorDate: Mon Nov 2 09:06:25 2020 +0100
Commit:     Jan Beulich <jbeulich@xxxxxxxx>
CommitDate: Mon Nov 2 09:06:25 2020 +0100

    update Xen version to 4.12.4
---
 Config.mk    | 6 +++---
 xen/Makefile | 2 +-
 2 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/Config.mk b/Config.mk
index be5634f26e..bf6fc83f08 100644
--- a/Config.mk
+++ b/Config.mk
@@ -276,15 +276,15 @@ SEABIOS_UPSTREAM_URL ?= git://xenbits.xen.org/seabios.git
 MINIOS_UPSTREAM_URL ?= git://xenbits.xen.org/mini-os.git
 endif
 OVMF_UPSTREAM_REVISION ?= ef529e6ab7c31290a33045bb1f1837447cc0eb56
-QEMU_UPSTREAM_REVISION ?= qemu-xen-4.12.3
-MINIOS_UPSTREAM_REVISION ?= xen-RELEASE-4.12.3
+QEMU_UPSTREAM_REVISION ?= qemu-xen-4.12.4
+MINIOS_UPSTREAM_REVISION ?= xen-RELEASE-4.12.4
 
 SEABIOS_UPSTREAM_REVISION ?= rel-1.12.0
 
 ETHERBOOT_NICS ?= rtl8139 8086100e
 
 
-QEMU_TRADITIONAL_REVISION ?= xen-4.12.3
+QEMU_TRADITIONAL_REVISION ?= xen-4.12.4
 # Wed Oct 10 18:52:54 2018 +0000
 # xen/pt: allow QEMU to request MSI unmasking at bind time
 
diff --git a/xen/Makefile b/xen/Makefile
index 25e8014dba..0fdf88b498 100644
--- a/xen/Makefile
+++ b/xen/Makefile
@@ -2,7 +2,7 @@
 # All other places this is stored (eg. compile.h) should be autogenerated.
 export XEN_VERSION       = 4
 export XEN_SUBVERSION    = 12
-export XEN_EXTRAVERSION ?= .4-pre$(XEN_VENDORVERSION)
+export XEN_EXTRAVERSION ?= .4$(XEN_VENDORVERSION)
 export XEN_FULLVERSION   = $(XEN_VERSION).$(XEN_SUBVERSION)$(XEN_EXTRAVERSION)
 -include xen-version
 
--
generated by git-patchbot for /home/xen/git/xen.git#staging-4.12