[PATCH v4 57/59] x86: coral: Update config and device tree for ACPI