non-ACPI kernel for 4.0?