[U-Boot] [PATCH 02/17] Add an empty stdint.h file