microblaze: convert makefiles to Kbuild style