NEWS: move from CVC4 to cvc5

[Makarius]

On 01/02/2025 00:12, Manuel Eberl wrote:
> In case you're not happy with the performance of the microSD storage, I have 
> this case for my Raspberry Pi 5 that has support for an NVMe SSD and it works 
> pretty well: https://www.berrybase.at/argon-one-v3-m.2-case-fuer-raspberry- 
> pi-5-nvme

Thanks for the hint. I've learned now the keywords to search for:
"raspberrypi 5 nvme hat", the the "HAT" is the board to carry the M2/NVME storage.


	Makarius