x86-64: use vmemmap_populate_basepages() for !pse setups