Stubbing out BIOS settings