[PATCH] remove ACPI S4bios support