x86/mm: Abstract switching CR3