--- OvmfPkgIa32X64.dsc.orig	2016-12-12 21:04:41.714195000 +0000
+++ OvmfPkgIa32X64.dsc	2016-12-12 21:04:41.557415000 +0000
@@ -51,7 +51,8 @@
 !endif
 
 [BuildOptions.common.EDKII.DXE_RUNTIME_DRIVER]
-  GCC:*_*_*_DLINK_FLAGS = -z common-page-size=0x1000
+  GCC:*_UNIXGCC_*_DLINK_FLAGS = --section-alignment=0x1000 --file-alignment=0x1000
+  GCC:*_GCC*_*_DLINK_FLAGS = -z common-page-size=0x1000
 
 ################################################################################
 #