Because sysdeps.h in trusty include stdint.h, so we need to define USE_STDINT.
Test: Local build test and flash on imx7d. Verify provision som key and product key succeed. Bug: None Change-Id: I08db7c10dd4453a87f15ff4432335fe4c41f9c5f
if TARGET_PICO_IMX7D config SYS_BOARD default "pico-imx7d" config SYS_VENDOR default "freescale" config SYS_SOC default "mx7" config SYS_CONFIG_NAME default "pico-imx7d" config USE_STDINT bool "Whether to use stdint" default n endif
