Patches applied successfully (
tree,
apply log)
git fetch https://gitlab.com/xen-project/patchew/xen tags/patchew/20230615153157.444-1-alejandro.vallejo@cloud.com
xen/arch/x86/Kconfig | 16 ++++++
xen/arch/x86/boot/head.S | 73 ++++++++++++++++++++++++---
xen/arch/x86/boot/trampoline.S | 3 +-
xen/arch/x86/cpu/intel.c | 32 ++++++------
xen/arch/x86/efi/efi-boot.h | 9 ++++
xen/arch/x86/include/asm/cpufeature.h | 3 +-
xen/arch/x86/include/asm/msr-index.h | 2 +-
7 files changed, 111 insertions(+), 27 deletions(-)