According to
Ultrabookreview.com you can choose from 4 models. They mention the specs and comparison with the older model, check It out.
Amount of RAM and size of SSD is also different.
If the difference in price relative to price of the cheapest models is not that much, I would probably choose at least RTX 4050.
RTX 4070 and RTX 4060's performance gain over RTX 4050 is questionable thanks to 45+15W power limit.
Where did you get this info about 5.2 TFLOPs at low wattage? I didn't see It yet.
5.2TFLOPs /2/128/12= ~1693 MHz for 12CU IGP
Didn't hear about this Revi OS, I will check It out. Thanks.