There's a definition in stdint.h (provided by gcc) which will be more correct
Define CONFIG_USE_STDINT to use this feature, or USE_STDINT=1 on the 'make'
This adjusts the settings for x86 and sandbox, with both have 64-bit options.
Signed-off-by: Gabe Black <email@example.com>
Reviewed-by: Gabe Black <firstname.lastname@example.org>
Tested-by: Gabe Black <email@example.com>
Reviewed-by: Bill Richardson <firstname.lastname@example.org>
Rewritten to be an option, since stdint.h is often available only in glibc.
Changed to preserve a clear boundary between stdint and non-stdint
Signed-off-by: Simon Glass <email@example.com>