ThinkPad 760ED & linux ethernet