Really interesting design decision. Was the main battery also dead? I'm guessing not. There's a step-down converter under the rear seat that outputs 12-16 volts, Tesla could probably have fairly easily set the car up to power the doors from that when the auxiliary 12V battery dies.