all the working panels were released with the high-end 1.83 GHz processors
Correction: all the 1400x1050 panels with released with those processors.
Why don't you ask him to read the EDID data from Windows?, there might be free software to do that. This way you can check the exact panel model against Libreboot's wiki
