microblaze: Correspond CONFIG...PCMP in Makefile/Kconfig