ci: document forwarded missing .efi suffix Ubuntu bug

diff --git a/.github/workflows/integration-extra-arm64.yml b/.github/workflows/integration-extra-arm64.yml
index 0c1e73e60ca8c4c73f7e97d7bf7be541bc3c7103..b64d3c47e630a5db2c0a588c24fad3b8b243fb27 100644 (file)
--- a/.github/workflows/integration-extra-arm64.yml
+++ b/.github/workflows/integration-extra-arm64.yml
@@ -84,7 +84,7 @@ jobs:
                     # fails with key file '/run/credentials/@system/key' missing
                     - container: gentoo:latest
                       test: "41"
-                    # /boot/vmlinuz-... is missing .efi suffix
+                    # /boot/vmlinuz-... is missing .efi suffix: https://launchpad.net/bugs/2133402
                     - container: ubuntu:devel
                       test: "43"
         container:
@@ -95,4 +95,3 @@ jobs:
               uses: actions/checkout@v6
             - name: "${{ matrix.container }} TEST-${{ matrix.test }}"
               run: ./test/test-container.sh "TEST-${{ matrix.test }}" ${{ matrix.test }}
-