--- OvmfPkgIa32.dsc.orig	2016-12-12 21:03:30.213137000 +0000
+++ OvmfPkgIa32.dsc	2016-12-12 21:03:30.027215000 +0000
@@ -46,7 +46,8 @@
   GCC:*_*_*_CC_FLAGS                   = -mno-mmx -mno-sse
 
 [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
 
 ################################################################################
 #