pub const DEFAULT_ACPI_POWER_BUTTON_SPI_AARCH64: u32 = 7;
Default GIC SPI index (INTID 39) for the ACPI power button on AArch64.
Firmware reserves INTIDs 35-38 for generation ID, battery, PMEM, and processor-idle events.