[U-Boot] printf("%d") breaks u-boot 2015.01+