crosstool.config: Change kernel folder name