[PATCH vkd3d 2/2] build: Print widl in configuration summary.