But y
You can run DC-DC off 400v (the car already does this), and it only has to be switched on when you want it. You don't need a 12v battery. You just need the converter off the battery bus BEFORE the main switch, not after it, separately switched. It's simple, saves the cost/weight/failure...