microblaze: Add DEBUG option