Index: /trunk/src/VBox/Devices/EFI/efi_build.conf
===================================================================
--- /trunk/src/VBox/Devices/EFI/efi_build.conf	(revision 42803)
+++ /trunk/src/VBox/Devices/EFI/efi_build.conf	(revision 42804)
@@ -15,4 +15,5 @@
 EDK_PATCHES="$EDK_PATCHES PcAtChipsetPkg_Bus_Pci_IdeControllerDxe_IdeController.c"
 EDK_PATCHES="$EDK_PATCHES MdePkg_Library_BaseIoLibIntrinsic_IoLibGcc.c"
+EDK_PATCHES="$EDK_PATCHES UefiCpuPkg_CpuDxe_CpuGdt.c"
 # to -t parameter
 VBOX_TOOLCHAIN=GCC44