Add <machine/int_types.h>, which provides namespace-pure definitions
of exact-width integer types.