[PATCH v3 10/57] x86: coral: Add ACPI tables for coral