[PATCH v1 54/54] x86: coral: Update config and device tree for ACPI