Symbol: mpc512x_reset_module