[GIT PULL 1/4] DaVinci driver updates

[Arnd Bergmann]

On Monday, February 13, 2017 1:30:31 PM CET Sekhar Nori wrote:
> Hi Arnd, Olof,
> 
> A gentle ping on pulling this pull request set.
> 

Thanks for the reminder! For some reason I had never moved
these into the TODO folder, so they went by completely
unnoticed. At least we had an -rc8 now, so there was some time
to take care of them.

	Arnd