Re: [LinuxBIOS] Adding a config option