Tyan Opteron board with LinuxBIOS for production environment?