[PATCH] x86-64: remove get_pmd()