tree fe90ed30444d73288ab173662fd54b0d5a9cc5c9
parent 94b96808ad5a536fd373dc6d283dc9519a747353
author Bruno Martins <bgcngm@gmail.com> 1649443037 +0100
committer Jackeagle <jackeagle102@gmail.com> 1654443718 +0200

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