[GIT PULL] drm-vc4-fixes-2016-08-29