No, Bill Wallace said he himself used them, because he personally had a TKD background.
Kickboxing wasn't founded on TKD just like it wasnt founded on Kung Fu, even though kicks from Kung Fu or most other styles were allowed in the ruleset.
Your entire debate strategy is to exclusively use examples of outliers as if they are the norm. I'm sure other people have noticed this as well.
The kicks in Karate are taken from Kung Fu. So if you want to go down that path, there are no Karate kicks either in Kickboxing.