Wildcard kernel toolchain nomenclature de-shitter

Change-Id: I7d5485ee6a382854e5c98eae554514b0f3462307