Hi Ard,

I have uploaded Intel Ethernet UNDI driver's open source code from latest Intel Ethernet driver's release to edk2-staging.
https://github.com/tianocore/edk2-staging/tree/Intel_UNDI

It should contain the fixes for ARM/GCC build.

Thanks,
Maciej