Re: [LinuxBIOS] Change BIOS option for end-user?