Re: [PATCH v4 2/2] x86: coral: Show memory config and SKU ID on startup