[U-Boot-Users] [FYI] mainline gcc vs printf args