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