https://www.raspberrylovers.com/2018/11/raspberry-pi-32-or-64-bit.html