[U-Boot] u-boot 2015.04 on socfpga was Re: printf("%d") breaks u-boot 2015.01+