Re: [coreboot] #186: 3com 3c905tx / gpxe boot problem