limit C headers to freestanding ones

inttypes.h is not part of the subset of standard headers for
freestanding environments.  Replace it with stdint.h.

Also include string.h with quotes, since we provide it.

Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>