microblaze: remove init_mm