Reboot Raspberry Pi 4 when turning TV off via HDMI-CEC using Samsung TV Remote