Menu plus X etc stop working after a core crash + reboot

how did you reboot the device? With the reset button, or with the safe restart combo?

More info is in the link below, as it says at the end, pressing the reset button can mess things up resulting in requiring a reflash