Need to be able to turn off HDMI via IR remote button

See Custom Script on custom remote key[Remote app]

You can toggle the HDMI PHY:

echo 0 > /sys/class/amhdmitx/amhdmitx0/phy (off)
echo 1 > /sys/class/amhdmitx/amhdmitx0/phy (on)

Sam