Fix KLEE image build failure from missing Docker build-context patch files

[Copilot]

The Build KLEE Image workflow failed because the KLEE Docker build referenced patches/ content that does not exist in the scripts/klee build context, causing BuildKit to abort with "/patches": not found. This change removes the broken patch-copy/apply path so the image build can proceed.

• Root cause addressed

  • scripts/klee/Dockerfile attempted to copy and apply a local patch file that is absent from the Docker context used by CI (scripts/klee).

• Changes

  • Removed the COPY patches/ /tmp/klee-patches/ instruction.
  • Removed the corresponding git apply /tmp/klee-patches/raise-asm-guard-tri.patch step.
  • Left the rest of the KLEE clone/configure/build flow unchanged.

• Resulting Dockerfile delta (core change)

-# Copy patches applied during KLEE build
-COPY patches/ /tmp/klee-patches/
 RUN git clone --branch "${KLEE_BRANCH}" "${KLEE_REPO}" /tmp/klee \
     && cd /tmp/klee && git checkout "${KLEE_REF}" \
-    && git apply /tmp/klee-patches/raise-asm-guard-tri.patch \
     && mkdir build && cd build \

[CLAassistant]

Thank you for your submission! We really appreciate it. Like many open source projects, we ask that you sign our Contributor License Agreement before we can accept your contribution.
_{You have signed the CLA already but the status is still pending? Let us recheck it.}