x86_64: save/pop kernel contexts