Github Action: Add kernel patch test build to Manual action

Signed-off-by: Gonçalo Negrier Duarte <[email protected]>

.github/workflows/extra.yaml

@@ -1,6 +1,15 @@
 name: Manual actions
 on: 
   workflow_dispatch
+    inputs:
+      BUILD_KERNEL_PATCH:
+        description: 'Test build kernel patch'
+        required: true
+        default: 'true'
+        type: choice
+        options:
+        - true
+        - false
 jobs:
   build:
     runs-on: ubuntu-latest
@@ -26,4 +35,15 @@ jobs:
         ## limits ssh access and adds the ssh public key for the user which triggered the workflow
         limit-access-to-actor: true
         ## limits ssh access and adds the ssh public keys of the listed GitHub users
-        limit-access-to-users: johnfanv2
+        limit-access-to-users: johnfanv2
+  # Use to test kernel patch build if needed
+  release-kernel-patch:
+    runs-on: ubuntu-latest
+    steps:
+    - uses: actions/checkout@v3
+      with:
+        fetch-depth: 0
+    - name: Build kernel patch
+      if: ${{ github.event.inputs.BUILD_KERNEL_PATCH }} == 'true'
+      run: ./deploy/build_kernelpatch.sh
+      shell: bash