pub fn kernel_l4_phys() -> PhysAddrExpand description
Return the physical address of the kernel’s level-4 page table.
This is the CR3 value captured at init time — used by AddressSpace::new_user()
to clone kernel mappings (PML4 entries 256..512) into new address spaces.