[LinuxBIOS] #46: Clarify LinuxBIOS vs. OpenBIOS vs. Open Firmware vs. EFI vs. GNUFI etc.