Build is broken for AN539 due to missing uart_stdout.h include in tfm_platform.c
https://review.trustedfirmware.org/c/trusted-firmware-m/+/2607