[PATCH 1/1] kernel: enable ACPI support on ARM64