[Feature] add GA346 baseline version

Change-Id: Ic62933698569507dcf98240cdf5d9931ae34348f
diff --git a/src/kernel/linux/v4.19/arch/arm/firmware/Makefile b/src/kernel/linux/v4.19/arch/arm/firmware/Makefile
new file mode 100644
index 0000000..6e41336
--- /dev/null
+++ b/src/kernel/linux/v4.19/arch/arm/firmware/Makefile
@@ -0,0 +1,4 @@
+obj-$(CONFIG_TRUSTED_FOUNDATIONS)	+= trusted_foundations.o
+
+# tf_generic_smc() fails to build with -fsanitize-coverage=trace-pc
+KCOV_INSTRUMENT                := n