Re: [LinuxBIOS] Handling different chipset versions: the right way?