Anyway, Eyetech (or someone else?) did also sell "Teron" boards for the Linux market? What was the price difference between those and the "Amiga" branded ones?
Well, don't know about eyetech, but the swedish reseller
ggsdata sells a Linux-only variant which is about 50 Euro cheaper (500 SEK), so the price-difference is what you pay for OS4. However to upgrade the Linux-only to OS4 cost 150 Euro (1595 SEK).
# AmigaOne G4XE Linux-only 8295:-
# AmigaOne G4XE Earlybird 8795:-
Oh, yeah, I haven't got a clue of what OS4 is going to cost, i just made an estimate/assumption.