tree fc51e31b9a3e464f4c554601b9c77c6d52e91982
parent 0f68589c726489bcf08c128fe165d286ed1e3133
author Bruno Martins <bgcngm@gmail.com> 1649443037 +0100
committer micky387 <mickaelsaibi@free.fr> 1701536774 +0100

kernel: Fix kernel rebuilding

Commit 8ac7d31 introduced this issue.

Test: run `m installclean && m bootimage` and observe that
kernel image is built.

Change-Id: I41eb7cd2e5108bae8f4c40c0f9a300a8a3cc95a7