It doesn't really help too much, since no current video processor is outputting HD-SDI. We'd need a DVI/HDMI -> HD-SDI converter, which costs quite a lot of money. And the Panasonic HD-SDI blade is not cheap, either.
What we want is a HDMI or DVI blade with native rate in with 24Hz, 48Hz, 50Hz and 60Hz support. For all models, 768p and 1080p.