Infernal King’s trait works by summoning another copy of himself on death, so its the difficulty/summon bug at work, again:
I can’t imagine this one being an easy one to fix, since I’m pretty sure it relates to the way they initialize and store troop data, something that could be very difficult to change since pretty much everything relies on it. Would explain why it is such a long-standing bug.