microblaze: do not select TRACING_SUPPORT directly