[SOLVED] XBian menu in System, Settings not working

[A.T.E.]

I think I must had misunderstood: I thought I had to put the file in /xbmc-backup/put_here_to_restore and reboot in order to trigger the restore. If I am understanding now, I should instead put it there and wait for something automatic to happen.
I will try to keep it in mind for the future.

Anyway, regarding the initial issue: the newest XBian works like a charm, including its Kodi menu in the Settings; I gave up the idea of migrating the .kodi folder and I am now reconfiguring it manually.

On a side note: I see that the /boot/config.txt has been changed (it also include comments now); usb_max_current=1 is there already, but I had to add hdmi_ignore_cec_init=1, so that the RPi would not automatically wake up the TV or switch to it when it switches on.

Thanks for your support!

You can set this as "solved".