96 /* ACPI processor UID */