Add "addr32" required explicitly by older gas.

diff --git a/src/arch/i386/firmware/pcbios/e820mangler.S b/src/arch/i386/firmware/pcbios/e820mangler.S
index 288f4994b120692180255e3df223593db8e38069..89030a49ec8005d8e318b8c8b3dc274f09e66ee6 100644 (file)
--- a/src/arch/i386/firmware/pcbios/e820mangler.S
+++ b/src/arch/i386/firmware/pcbios/e820mangler.S
@@ -376,7 +376,7 @@ int15_e820:
        jmp     int15_e820
        /* Restore flags from original INT 15,e820 call and return */
 1:     popfw
-       leal    12(%esp), %esp /* avoid changing flags */
+       addr32 leal     12(%esp), %esp /* avoid changing flags */
        lret    $2
        .size int15_e820, . - int15_e820