[U-Boot] [PATCH 03/19] stm32mp1: update print_cpuinfo()