Building Tyan AMD64 s2882 Linux BIOS