I'm currently running vanilla 2.6.20.2 with Philips Freevents X55 and dmesg says following about 8139too:
[ 30.020000] 8139too Fast Ethernet driver 0.9.28 [ 30.020000] ACPI: PCI Interrupt 0000:03:04.0[A] -> GSI 16 (level, low) -> IRQ 16 [ 30.020000] eth0: RealTek RTL8139 at 0xc800, 00:40:45:2C:86:19, IRQ 16 [ 30.020000] eth0: Identified 8139 chip type 'RTL-8100B/8139D'
I'm currently running vanilla 2.6.20.2 with Philips Freevents X55 and dmesg says following about 8139too:
[ 30.020000] 8139too Fast Ethernet driver 0.9.28
[ 30.020000] ACPI: PCI Interrupt 0000:03:04.0[A] -> GSI 16 (level, low) -> IRQ 16
[ 30.020000] eth0: RealTek RTL8139 at 0xc800, 00:40:45:2C:86:19, IRQ 16
[ 30.020000] eth0: Identified 8139 chip type 'RTL-8100B/8139D'