Index: /trunk/src/VBox/Devices/EFI/efi_build.conf
===================================================================
--- /trunk/src/VBox/Devices/EFI/efi_build.conf	(revision 43325)
+++ /trunk/src/VBox/Devices/EFI/efi_build.conf	(revision 43326)
@@ -17,4 +17,6 @@
 EDK_PATCHES="$EDK_PATCHES UefiCpuPkg_CpuDxe_CpuGdt.c"
 EDK_PATCHES="$EDK_PATCHES ShellPkg_Library_UefiShellLevel3CommandsLib"
+EDK_PATCHES="$EDK_PATCHES OvmfPkg_Library_PlatformBdsLib"
+EDK_PATCHES="$EDK_PATCHES IntelFrameworkModulePkg_Library_GenericBdsLib"
 # to -t parameter
 VBOX_TOOLCHAIN=GCC44