The solution turned out to be holding power+volume up for six seconds, which is a hardware interrupt to force reboot the phone (simply holding power is apparently a software interrupt).