Vielleicht hilft folgender Link weiter:
http://www.linux-on-laptops.com/gericom.html
Es sind dort mehrere weiterführende Links zu verschiedenen Webboy-Modellen.
Der Webboy ist übrigens kein echter (österreichischer) Gericom, sondern kommt von einer taiwanesischen Firma (ich weiss leider nicht mehr den Namen) und hat dort die Typenbezeichnung 340S2 oder 340S4.
Die Hardwarebestückung des Chipsatzes ist aber (glaube ich) bei allen Modellen ident.