Acpi intc 1057