[GIT PULL] rpi: updates for v2020.07