A/P FCS can get power from any buss like the pilots windshield heat.
Lot of other wis bang stuff gets load shed if major busses go off line.
But one does wonder if it was jacked, if they though the plane was fully fueled and would have more range than it did.