> and that driver depends on ARCH_MVEBU which is arm64, AFAICT. ARCH_MVEBU is both 32 and 64. It refers more to a collection of devices which mvebu processor have. Some of these processors are 32bit, some are 64bit. Andrew