DPMS over HDMI

I used to hook up Linux media center computers to each TV in my house.  When using Linux, I tended to use VGA instead of HDMI.  I used a Streamzap USB remote to control the custom media center software.  I had mixed success with using the Power button on the Streamzap remote to turn the TV on and off using DPMS.  I would like to do the same thing with the Android devices.  The Mele Air Mouse has a Power button, and I would like to turn the TV on and off using that button.  I have not figured out how to do that yet.  I have not found any documentation on DPMS in Android.  I can't even find documentation on DPMS over HDMI.  This would be a really great feature to use.