[OS-BUILD PATCH] configs: remove duplicate CONFIG_DRM_HYPERV file