[PATCH v1 10/54] x86: coral: Add ACPI tables for coral