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