OpenBSD ACPI attachment for the ARM PrimeCell PL061 GPIO controller (ARMH0061), enabling the EC2 power button on arm64 Nitro instances - View it on GitHub