The `kernel8.img` built in debug mode does not work on a real Raspberry Pi 4

[kkebo]

The kernel8.img built in release mode works correctly on a real Raspberry Pi 4, but the one built in debug mode does not.

• commit 75b5579
• Swift main-snapshot-2026-06-24
• Linux aarch64