Raspberry Pi 4 launches with BCM2711 quad-core Cortex-A72 64-bit SoC ...