fix(ci): use Debian kernel for forky

Our custom qcom1 kernel is not available for forky. Switch back to the
default Debian linux-image-arm64 kernel instead when building for forky.

Signed-off-by: Agathe Porte <agathe.porte@oss.qualcomm.com>

Author: gagath

.github/workflows/build-on-pr.yml

@@ -26,8 +26,15 @@ jobs:
       fail-fast: false
       matrix:
         suite: [trixie, forky]
+        kernelpackage: [linux-image-6.16.7-qcom1++, linux-image-arm64]
+        exclude:
+          - suite: trixie
+            kernelpackage: linux-image-arm64
+          - suite: forky
+            kernelpackage: linux-image-6.16.7-qcom1++
     uses: ./.github/workflows/debos.yml
     with:
       suite: ${{ matrix.suite }}
+      kernelpackage: ${{ matrix.kernelpackage }}
   schema-check:
     uses: ./.github/workflows/lava-schema-check.yml

.github/workflows/build-on-push.yml

@@ -17,7 +17,16 @@ jobs:
       fail-fast: false
       matrix:
         suite: [trixie, forky]
+        kernelpackage: [linux-image-6.16.7-qcom1++, linux-image-arm64]
+        exclude:
+          - suite: trixie
+            kernelpackage: linux-image-arm64
+          - suite: forky
+            kernelpackage: linux-image-6.16.7-qcom1++
     uses: ./.github/workflows/debos.yml
+    with:
+      suite: ${{ matrix.suite }}
+      kernelpackage: ${{ matrix.kernelpackage }}
   schema-check:
     uses: ./.github/workflows/lava-schema-check.yml
   test: