[PATCH v4 10/59] x86: coral: Add ACPI tables for coral