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