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