The pm_cpus member of the pmap is now a 64bit integer: update the assembly used in cpu_switch() for handling it.  Also, delete an unnecessary instruction that I added while debugging the pm_cpus handling before
The pm_cpus member of the pmap is now a 64bit integer: update the assembly
used in cpu_switch() for handling it.  Also, delete an unnecessary
instruction that I added while debugging the pm_cpus handling before

ok kettenis@

orumin/openbsd-efivars,orumin/openbsd-efivars,orumin/openbsd-efivars,orumin/openbsd-efivars