dérive linux ports

$ cat 0002-force-software-vulkan-chooser.patch

diff --git a/src/vulkan/context.c b/src/vulkan/context.c
index 168b420d..eae49e88 100644
--- a/src/vulkan/context.c
+++ b/src/vulkan/context.c
@@ -1040,7 +1040,7 @@ VkPhysicalDevice pl_vulkan_choose_device(pl_log log,
 
         if (params->surface) {
             if (!supports_surf(log, inst, get_addr, devices[i], params->surface)) {
-                PL_DEBUG(vk, "      -> excluding due to lack of surface support");
+                PL_INFO(vk, "      -> excluding due to lack of surface support");
                 continue;
             }
         }
@@ -1064,8 +1064,7 @@ VkPhysicalDevice pl_vulkan_choose_device(pl_log log,
         }
 
         if (!params->allow_software && t == VK_PHYSICAL_DEVICE_TYPE_CPU) {
-            PL_DEBUG(vk, "      -> excluding due to !params->allow_software");
-            continue;
+            PL_INFO(vk, "      -> allowing software GPU despite !params->allow_software");
         }
 
         if (prop.properties.apiVersion < PL_VK_MIN_VERSION) {