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