Raspberry Pi: add script to disable hdmi.