Libport: fix uses of libport/config.h.
Libport: fix uses of libport/config.h.

	* include/libport/cstdint: here.

aldebaran/libport,aldebaran/libport,aldebaran/libport,aldebaran/libport,aldebaran/libport