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 <[email protected]>

Author: bonzini

include/bios.h

@@ -1,7 +1,7 @@
 #ifndef BIOS_H_
 #define BIOS_H_
 
-#include <inttypes.h>
+#include <stdint.h>
 #include <stddef.h>
 #include <stdbool.h>
 

include/string.h

@@ -2,7 +2,7 @@
 #define BIOS_STRING_H
 
 #include <stddef.h>
-#include <inttypes.h>
+#include <stdint.h>
 
 unsigned long strlen(const char *buf);
 char *strcat(char *dest, const char *src);

malloc.c

@@ -1,4 +1,4 @@
-#include <inttypes.h>
+#include <stdint.h>
 #include "string.h"
 #include "bios.h"
 

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;

smbios.c

@@ -1,4 +1,4 @@
-#include <inttypes.h>
+#include <stdint.h>
 #include "smbios.h"
 #include "string.h"
 #include "fw_cfg.h"