[WIP] Fix kernel compilation issue in Trixie using ev3dev-buildscripts#3

Copilot wants to merge 1 commit intotrixieProject516/ev3-kernel:trixiefrom

copilot/fix-kernel-compilation-issueProject516/ev3-kernel:copilot/fix-kernel-compilation-issueCopy head branch name to clipboard