Re: [PATCH v2 18/25] x86: coral: Update the memory map