microblaze: Use MICROBLAZE_TLB_SIZE in asm code