Symbol: do_power_supplies_init