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>

1 files changed, 1 insertions, 1 deletions

diff --git a/pci.c b/pci.c
index 65c9e81..63ebda6 100644
--- a/pci.c
+++ b/pci.c
@@ -1,7 +1,7 @@
 #include "bios.h"
 #include "ioport.h"
 #include "pci.h"
-#include <string.h>
+#include "string.h"
 
 static uint16_t addend;
 static uint8_t bus, bridge_head;