I just received my Vero 4K a week ago. I made every update, and setup HDMI-CEC which works as good as my old OSMC on my Pi 2.
Now if my Vero 4K enters sleep mode (red light), I can’t find any way to wake it up. I tried the TV remote (HDMI-CEC) and the Vero 4K remote (with the dongle attached), nothing seems to be able to wake it up.
Tried to ping and to SSH into it without success. The only way I found to be able to use it again is to unplug and re-plug the AC adapter.
Nothing (other than going to the power menu) would trigger that. If it happens frequently I suggest you enable debug logging and then after it happens next time you restart the device (unplug and replug) and then directly upload the log files.
See here for details