Move all system includes in vboot_firmware to sysincludes.h

vboot_firmware/lib/cgptlib/crc32.c

 /* CRC32 implementation by Gary S. Brown. See license claim below. */
 
 /* ============================================================= */
 /*  COPYRIGHT (C) 1986 Gary S. Brown.  You may use this program, or       */
 /*  code or tables extracted from it, as desired without restriction.     */
 /*                                                                        */
 /*  First, the polynomial itself and its table of feedback terms.  The    */
 /*  polynomial is                                                         */
 /*  X^32+X^26+X^23+X^22+X^16+X^12+X^11+X^10+X^8+X^7+X^5+X^4+X^2+X^1+X^0   */
 /*                                                                        */
@@ skipping 22 matching lines @@
 /*      tions for all combinations of data and CRC register values.       */
 /*                                                                        */
 /*      The values must be right-shifted by eight bits by the "updcrc"    */
 /*      logic; the shift must be unsigned (bring in zeroes).  On some     */
 /*      hardware you could probably optimize the shift in assembler by    */
 /*      using byte-swap instructions.                                     */
 /*      polynomial $edb88320                                              */
 /*                                                                        */
 /*  --------------------------------------------------------------------  */
 #include "crc32.h"
-#include <stdint.h>
 
 static uint32_t crc32_tab[] = {
   0x00000000U, 0x77073096U, 0xee0e612cU, 0x990951baU, 0x076dc419U,
   0x706af48fU, 0xe963a535U, 0x9e6495a3U, 0x0edb8832U, 0x79dcb8a4U,
   0xe0d5e91eU, 0x97d2d988U, 0x09b64c2bU, 0x7eb17cbdU, 0xe7b82d07U,
   0x90bf1d91U, 0x1db71064U, 0x6ab020f2U, 0xf3b97148U, 0x84be41deU,
   0x1adad47dU, 0x6ddde4ebU, 0xf4d4b551U, 0x83d385c7U, 0x136c9856U,
   0x646ba8c0U, 0xfd62f97aU, 0x8a65c9ecU, 0x14015c4fU, 0x63066cd9U,
   0xfa0f3d63U, 0x8d080df5U, 0x3b6e20c8U, 0x4c69105eU, 0xd56041e4U,
   0xa2677172U, 0x3c03e4d1U, 0x4b04d447U, 0xd20d85fdU, 0xa50ab56bU,
@@ skipping 46 matching lines @@
 /* Returns a 32-bit CRC of the contents of the buffer. */
 uint32_t Crc32(const void *buffer, uint32_t len) {
   uint8_t *byte = (uint8_t*)buffer;
   uint32_t i;
   uint32_t value = ~0U;
 
   for (i = 0; i < len; ++i)
     value = crc32_tab[(value ^ byte[i]) & 0xff] ^ (value >> 8);
   return value ^ ~0U;
 }