microblaze: Fix _reset() function