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