On http://www.acl.lanl.gov/linuxbios/status/index.html
I think you mean Gigabyte and not Gigabit. http://www.gigabyte.com.tw/products/ga6bxc.htm rather than http://www.gigabit.com/ On a side note Gigabyte have added a program to the bios of their new boards that can flash the bios! This is good news as now updating the bios is OS independent i.e. you don't have to have windows, linux will be fine. http://www.gigabyte.com.tw/home/qflash.htm Michael.
