rename kernel target

- fixed bug in the CI