RPi hangs sometimes, how to auto-reboot it?