When performing context switch on a machine without PCID, if current %cr3 equals to the new pmap %cr3, which is typical for kernel_pmap vs. kernel process, I overlooked to update PCPU curpmap value.
Reported by: eadler, ambrisko
Discussed with: kevans
Tested by: ambrisko
Should this have the flavor-foo for the python version? Should this be done now or should the focus be only on fixing the build issue?