microblaze: fix kbuild redundant file warning