enable docker ppp

hc

2023-12-09 95099d4622f8cb224d94e314c7a8e0df60b13f87

 kernel/arch/arm/mach-tango/smc.S
..
..
@@ -1,6 +1,8 @@
1
1
 /* SPDX-License-Identifier: GPL-2.0 */
2
2
 #include <linux/linkage.h>
3
3
 
4
+	.arch armv7-a
5
+	.arch_extension sec
4
6
 ENTRY(tango_smc)
5
7
 	push	{lr}
6
8
 	mov	ip, r1