file origins
------------

- bits/gstdint.h: manually created
- bits/largefile-config.h: manually created
- ../spec/<arch>/stdcxx/bits/c++config.h:
  - gathered from Noux-gcc built with the previous stdcxx version
  - apply https://raw.githubusercontent.com/cproc/genode_stuff/stdcxx/stdcxx_update_genode.patch
  - update the gcc port hash
  - prepare the modified gcc port
  - run 'make noux-pkg/gcc_x86' for the 'x86_32' platform
  - copy 'build/x86_32/noux-pkg/gcc_x86/x86_64-pc-elf/32/libstdc++-v3/include/x86_64-pc-elf/bits/c++config.h'
  - run 'make noux-pkg/gcc_x86' for the 'x86_64' platform
  - copy 'build/x86_64/noux-pkg/gcc_x86/x86_64-pc-elf/64/libstdc++-v3/include/x86_64-pc-elf/bits/c++config.h'
  - run 'make noux-pkg/gcc_arm' for the 'arm_v7a' platform
  - copy 'build/arm_v7a/noux-pkg/gcc_arm/arm-none-eabi/libstdc++-v3/include/arm-none-eabi/bits/c++config.h'
  - run 'make noux-pkg/gcc_arm_64' for the 'arm_v8a' platform
  - copy 'build/arm_v8a/noux-pkg/gcc_arm_64/aarch64-none-elf/libstdc++-v3/include/aarch64-none-elf/bits/c++config.h'
  - #define _GLIBCXX_HAS_GTHREADS 1 in all of the copied files
  - #undef _GLIBCXX_HAVE_TLS in all of the copied files
