Don't install gcc version of stdint.h

picolibc always provides stdint.h which is required to be used
for inttypes.h to work. Don't ever replace it with the gcc version.

Signed-off-by: Keith Packard <[email protected]>

Author: keith-packard

gcc/config.gcc

@@ -6153,12 +6153,9 @@ case "$default_libc" in
 LIBC_PICOLIBC)
     # __cxa_atexit is provided.
     default_use_cxa_atexit=yes
-    use_gcc_stdint=wrap
+    # picolibc provides stdint.h
+    use_gcc_stdint=none
     tm_file="${tm_file} picolibc-spec.h"
     extra_options="${extra_options} picolibc.opt"
-    case "${with_newlib}-${with_headers}" in
-	no-no) use_gcc_stdint=provide ;;
-	*) ;;
-    esac
     ;;
 esac