Aarch64 Raspberry Pi 3. However when I run a 32-bit kernel using raspi3 machine on