In case someone is interested:
Raspberry PI 4 is out now.
https://www.raspberrypi.org/blog/raspberry-pi-4-on-sale-now-from-35/
Specs:
A 1.5GHz quad-core 64-bit ARM Cortex-A72 CPU (~3× performance)
1GB, 2GB, or 4GB of LPDDR4 SDRAM
Full-throughput Gigabit Ethernet
Dual-band 802.11ac wireless...