microblaze: Fix mapin_ram function