I cant find on any HC08 datasheet say the Vpp on IRQ pin being 'Vddx2' neither ! But mostly the instructions are the IRQ input voltage of Vdd+4V as maximum rating.
So I can say 9v.
Some device of HC'9'08 can be found as Vdd+4.5v as the maximum rating, those should be far from problem to the modification of 9volts++
Regards
Bookmarks