x86: not overmap more than the end of RAM in init_memory_mapping - 64bit