Re: [PATCH 0/1] Enable ACPI support on ARM64