I released a new prerelease for SYSLINUX which supports PCI BIOS access for ethersel.c32. If you've had trouble with ethersel.c32, I would appreciate it if you'd test it out. http://www.kernel.org/pub/linux/utils/boot/syslinux/Testing/ Thanks, -hpa