kernel -- x86_64: Do not set reserved bits in CR3.