AMD64 - Adjust _pmap_allocpte() to handle races.