Acpi intc 1055