--- OvmfPkgX64.dsc.orig 2016-12-12 21:04:41.399444000 +0000 +++ OvmfPkgX64.dsc 2016-12-12 21:04:41.233024000 +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 ################################################################################ #