Add arm64 support

This patch adds `--config=arm64` and `--cpu=arm64` flags for users to
compile for the 64-bit version of the Raspberry Pi.

The existing 32-bit ARM build should still work. This patch only adds
additional 64-bit capabilities. Future patches can remove 32-bit
support.

Eigen needed some tweaks because we have `LDBL_MANT_DIG` of 113 on
arm64. None of the code paths that used the parameters `U` and `V`
actually gets compiled in. Adding `[[maybe_unused]]` fixed the error.

Signed-off-by: Philipp Schrader <philipp.schrader@gmail.com>
Change-Id: Ibf919b2964fe971769449a1c556c13e3bf1d48e9
diff --git a/debian/opencv.BUILD b/debian/opencv.BUILD
index 0fad68c..c989e22 100644
--- a/debian/opencv.BUILD
+++ b/debian/opencv.BUILD
@@ -266,6 +266,7 @@
             "usr/lib/x86_64-linux-gnu/libnuma.so.1",
         ],
         "@platforms//cpu:armv7": [s % "arm-linux-gnueabihf" if "%" in s else s for s in _common_srcs_list],
+        "@platforms//cpu:arm64": [s % "aarch64-linux-gnu" if "%" in s else s for s in _common_srcs_list],
     }),
     hdrs = glob([
         "usr/include/opencv4/**",
@@ -285,6 +286,9 @@
         "@platforms//cpu:armv7": [
             "@platforms//os:linux",
         ],
+        "@platforms//cpu:arm64": [
+            "@platforms//os:linux",
+        ],
     }),
     visibility = ["//visibility:public"],
 )