What is Fedora 18 acpi_osi default? Or, seeking consistent power management.