update the get_map() FIXME

it's not really a big deal to have to care about initial_mappings
before we have child processes running. It's still a lot better
than when we had page_rand