[PATCH] x86: fix laptop bootup hang in init_acpi()