microblaze: add missing CONFIG_ prefixes