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