Some minor corrections.
1. Nothing to do with Raspberry Pi foundation. Pi devices are designed by Raspberry Pi Ltd.
2. It's going to be months before the supply chain for silicon starts to get back on track, for Pi and Nvidia stuff.
3. The Pi4 is now 1.8GHz, not 1.2 (as incorrectly stated in a comment). You can usually overclock to 2Ghz with no issues.