console/vtxprintf.c: Add missing <types.h>

Change-Id: Icc2b99f9125e9059dbf3de42a1b5ca9727888166
Signed-off-by: Elyes HAOUAS <ehaouas@noos.fr>
Reviewed-on: https://review.coreboot.org/c/coreboot/+/50565
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Kyösti Mälkki <kyosti.malkki@gmail.com>

src/console/vtxprintf.c

@@ -7,7 +7,7 @@
 #include <console/vtxprintf.h>
 #include <ctype.h>
 #include <string.h>
-#include <stdint.h>
+#include <types.h>
 
 #define call_tx(x) tx_byte(x, data)