Add a hidden setting for disabling HDMI auto power on on RPI
Some users want to run with "hdmi_ignore_cec_init=1" (in RPI's
config.txt). This disables automatically switching on HDMI on boot. Our
PMP code does something similar, and essentially negates the
hdmi_ignore_cec_init setting. So there's a need to allow the user to
disable the PMP code too.
(We could also try to retrieve the firmware hdmi_ignore_cec_init setting
somehow, potentially by parsing config.txt, but let's not for now.)