reset: microchip-sparx5: issue a reset on startup