microblaze: Fix size of __kernel_mode_t to short