This update for u-boot fixes the following issues:
{ "binaries": [ { "u-boot-rpi3": "2019.01-150100.7.13.1", "u-boot-tools": "2019.01-150100.7.13.1" } ] }
{ "binaries": [ { "u-boot-tools": "2019.01-150100.7.13.1" } ] }