[LinuxBIOS] Adding a config option