arm: use acpi_dsdt_add_gpex