Какое JRE из трёх выбрать для Rapsbberry Pi | Orange Pi?

Я немного растерялся, что скачивать. На странице, на которую попадаешь из гугла, написано: The JDK for ARM is now offered in the same page as the JDK for other Java SE Platforms. и через 20 секунд переадресацию сюда, и сам JRE, где нет ничего по арму, а отдельно ссылка JRE для ARM, которую нужно успеть нажать. В итоге имеем целый список из шести вариантов:

1. Linux ARM 32 Hard Float ABI (JDK)
2. Linux ARM 64 Hard Float ABI (JDK)
3. ARMv5/ARMv6/ARMv7 Linux - SoftFP ABI, Little Endian 2
4. ARM v6/v7 Linux - VFP, HardFP ABI, Little Endian
5. x86 Linux Small Footprint - Headless
6. to create customized JREs using the JRECreate tool

Теперь список вариантов Raspberry и прочих фруктов:

1. Rasp Pi 1. Broadcom BCM2835 0.7GHz ARM11.
2. Rasp Pi 2. Broadcom BCM2836 0.9GHz Quad-Core ARMv7l Cortex-A7.
3. Rasp Pi 3. Broadcom BCM2387 1.2GHz Quad-Core ARMv8 Cortex-A53 64bit
4. Orange Pi 1. Allwinner H3 Quad-core 1.0GHz Quad-Core ARMv7 Cortex-A7.
5. Orange Pi 2. Allwinner H5 Quad-core ?GHz Quad-Core ARMv8 Cortex-A53 64bit.

И заодно спрошу - какой лучше выбрать для мини-сервера для Jira, Redmine + web-сайта? На процессоре ARMv8 или ARMv7?