[Feature] add GA346 baseline version
Change-Id: Ic62933698569507dcf98240cdf5d9931ae34348f
diff --git a/src/kernel/linux/v4.19/arch/microblaze/Kconfig.debug b/src/kernel/linux/v4.19/arch/microblaze/Kconfig.debug
new file mode 100644
index 0000000..dc2e3c4
--- /dev/null
+++ b/src/kernel/linux/v4.19/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