Yes, but then promoting the Raspberry Pi as "64 bit product" seems almost gimmicky to me. Ok, you switched to an AArch64 chip, but that was simply because it's what your supplier was producing at that time. It makes no sense to me to promote a feature you don't support or make use of, if not for simple and pure marketing reasons.