512 /* ACPI global interrupt number */