Let\'s say I would like to change a setting in the BIOS of my computer in Linux (let\'s say Ubuntu 11 if it matters.) What types of APIs exist to allow you query and manipulate