[SOLVED] XBian menu in System, Settings not working

[A.T.E.]

The thing is that those settings refer to Kodi, while the line in the config.txt instructs the entire system before Kodi is loaded. So, if hdmi_ignore_cec_init=1 is absent, the RPi will send a HDMI CEC signal to the TV when it starts up, and the TV will change input source to it.
In fact I had specifically tested it: if that line is missing and the line in the Kodi / Peripherals menu "Switch source to this device on startup" is set to off, the TV will still change the input to the RPi.