[git pull] drm fixes for v4.13-rc3