v4.19.13 snapshot.
diff --git a/arch/microblaze/Kconfig.debug b/arch/microblaze/Kconfig.debug
new file mode 100644
index 0000000..dc2e3c4
--- /dev/null
+++ b/arch/microblaze/Kconfig.debug
@@ -0,0 +1,5 @@
+# For a description of the syntax of this configuration file,
+# see Documentation/kbuild/kconfig-language.txt.
+
+config TRACE_IRQFLAGS_SUPPORT
+	def_bool y