tree 567b66ea9a55d48f65c8cb86368bb4dae13c1643
parent c45d5c8c6be825375dd11c1e18b55b6e3975615f
author Elyes Haouas <ehaouas@noos.fr> 1712156778 +0200
committer Felix Held <felix-coreboot@felixheld.de> 1712262169 +0000

tree: Remove duplicated <stdint.h>

<types.h> is supposed to provide <stdint.h>.

Change-Id: Ia68a0dc8fba4a48401e213ebb8356e32f0a019ab
Signed-off-by: Elyes Haouas <ehaouas@noos.fr>
Reviewed-on: https://review.coreboot.org/c/coreboot/+/81633
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Arthur Heymans <arthur@aheymans.xyz>