microblaze: Fix sparse warning - fault.c