[gnu-efi] always use the external stdint.h

Change-Id: Ia9f09b5a18500c601ab8b7e200cfefb55a9148eb
1 file changed
tree: c8ad4840bbccd4bebcd968a87340640bf6e5a888
  1. external/
  2. include/
  3. lib/
  4. .gitignore