RE: [kbuild-all] [RFC PATCH] drm/vkms: vkms_driver can be static