Comment patch apply because it seems included upstream now

Author: antoyo

.github/workflows/ci.yaml

@@ -85,7 +85,8 @@ jobs:
         with:
           path: ci
 
-      - run: git -C linux apply ../ci/x86-boot-Use-std-gnu11-to-fix-build-with-GCC-15.patch
+      # TODO: remove if this patch is indeed not necessary. (It seems the patch is now included upstream.)
+      # - run: git -C linux apply ../ci/x86-boot-Use-std-gnu11-to-fix-build-with-GCC-15.patch
 
       # Setup: `busybox`.
       - run: |