Fix kernel compile error with duplicate toolchain path

Change-Id: I015dec7ebd8f7d1aa0e3d1f5fa437c5d39a0f9f9