So this is likely a dumb question. But what is the difference between LinuxBIOS and OpenBIOS? Dale Harris