Hello, looks like the vmwgfx kernel module either isn't getting built or is not installed as part of the port in the same way the one for 12 does (https://svnweb.freebsd.org/ports/head/graphics/drm-fbsd12.0-kmod/pkg-plist?view=markup&pathrev=499905#l9). Do I need to build it myself instead of using the packaged version?