Re: [git pull] drm merge for 3.9-rc1