在《隋唐演义》中是否提到过李元霸的名字？

说书艺人所说的通俗小说《隋唐演义》里确实有李元霸这个人，力大无比，却是头脑有些痴呆，最后被雷霹死。

而褚人获的正式《隋唐演义》里根本没有提到李元霸这个人，历史上也确实没有这个人。