Re: [GIT PULL FOR v4.12] Bye bye drm_platform midlayer