[PATCH] x86_64: Bug correction in populate_memnodemap()