* Revert "Revert "Change kernel platform generation dependency name (#4189)" (#4192)"
This reverts commit 582a87b957.
* Remove bad change that broke the build
* Remove comma
* Revert "Revert "Change kernel platform generation dependency name (#4189)" (#4192)"
This reverts commit 582a87b957.
* Remove bad change that broke the build
* Remove comma