rename kernel target

- fixed bug in the CI
This tag has no release notes.