Remove patch not needed anymore

Author: antoyo

.github/workflows/ci.yaml

@@ -93,9 +93,6 @@ jobs:
       # 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
 
-      # TODO: remove when fixed in the above branch.
-      - run: git -C linux apply ../ci/patches/0001-Skip-GCC-flag-for-bindgen.patch
-
       # TODO: remove when fixed in the above branch.
       - run: git -C linux apply ../ci/patches/0001-Ignore-some-failing-tests.patch