Working with Linuxbios on tyan s2850, want to use built in si3114 controller, can I use the drivers from LinuxBios sources or must use driver from base Ami bios part?

The same question about Ati video interesting to, there is a driver in LinusBios sources, can I use it instead of Ami bios part one?