combined patch for:

src/platform/vboot_reference/include/padding.h

Index: src/platform/vboot_reference/include/padding.h
diff --git a/src/platform/vboot_reference/include/padding.h b/src/platform/vboot_reference/include/padding.h
index 938cec2fa9d1bf464a5aba80df719e601ee3230b..8d8fc95f7a1b8fceeb88e2a870130c2e1d50e2b6 100644
--- a/src/platform/vboot_reference/include/padding.h
+++ b/src/platform/vboot_reference/include/padding.h
@@ -6,7 +6,11 @@
 #ifndef VBOOT_REFERENCE_PADDING_H_
 #define VBOOT_REFERENCE_PADDING_H_
 
-#include <inttypes.h>
+#ifndef VBOOT_REFERENCE_CRYPTOLIB_H_
+#error "Do not include this file directly. Use cryptolib.h instead."
+#endif
+
+#include <stdint.h>
 
 extern const uint8_t paddingRSA1024_SHA1[];
 extern const uint8_t paddingRSA1024_SHA256[];
@@ -27,6 +31,7 @@ extern const int digestinfo_size_map[];
 extern const int siglen_map[];
 extern const uint8_t* padding_map[];
 extern const int padding_size_map[];
+extern const int hash_type_map[];
 extern const int hash_size_map[];
 extern const int hash_blocksize_map[];
 extern const uint8_t* hash_digestinfo_map[];