microblaze: Fix cast warning for init.c