It would be entirely unsurprising to me if this trashed UEFI for this particular ARM device, from firmware corruption.