> LPDDR4X-4267 SDRAM (4GB and 8GB SKUs available at launch)
This implies there will be either smaller or bigger SKUs at a later date. The 8 GB SKU of the Pi 4 wasn't available at launch, either.
https://shop.pimoroni.com/cdn/shop/files/PI_5_TOP_1500x1500....