Re: [PATCH v4 40/42] x86: coral: Drop ACPI properties from of-platdata