microblaze: Fix bug with schedule_tail