I'm pretty sure Magic Lantern does HDR video through varying the ISO. It alternates between two ISO's every other frame. I've never tried it, I just always see it on the ML menu and wondered what kind of effect it would have on video.