Re: [RFC PATCH] drm/vkms: vkms_driver can be static