building EFI applications using the GNU toolchain