I would power the EFIS and battery charge circuit from the same VPX Power pin. The TCW battery charge can take 3 1/2 Amps and the EFIS is 3 1/2 Amps so it will need to be on a 8 amp circuit.