microblaze: Fix pte_update function