microblaze: clean up signal handling