Change bios settings from Linux userland