F18, acpi problem on an Asus Ultrabook