[PATCH 4/6] tools/include: properly install Arm public headers

[Jan Beulich <jbeulich@xxxxxxxx>]

When smccc.h was added, adjustment of the install rule was missed.

Signed-off-by: Jan Beulich <jbeulich@xxxxxxxx>

--- a/tools/include/Makefile
+++ b/tools/include/Makefile
@@ -60,10 +60,7 @@ install: all
        $(INSTALL_DATA) xen/*.h $(DESTDIR)$(includedir)/xen
        $(INSTALL_DATA) xen/arch-x86/*.h $(DESTDIR)$(includedir)/xen/arch-x86
        $(INSTALL_DATA) xen/arch-x86/hvm/*.h 
$(DESTDIR)$(includedir)/xen/arch-x86/hvm
-
-#      xen/arch-arm doesn't contains headers for now. Uncommented the line
-#      as soon as a new header is added
-#      $(INSTALL_DATA) xen/arch-arm/*.h $(DESTDIR)$(includedir)/xen/arch-arm
+       $(INSTALL_DATA) xen/arch-arm/*.h $(DESTDIR)$(includedir)/xen/arch-arm
        $(INSTALL_DATA) xen/arch-arm/hvm/*.h 
$(DESTDIR)$(includedir)/xen/arch-arm/hvm
        $(INSTALL_DATA) xen/foreign/*.h $(DESTDIR)$(includedir)/xen/foreign
        $(INSTALL_DATA) xen/hvm/*.h $(DESTDIR)$(includedir)/xen/hvm