Here's a link to the current commit to save me having to keep the master branch pristine in the interim. The main differences are in boot.asm and layout.ld, and should be fairly easy to port over to intermezzOS.

As written any identity-mapped virtual addresses (like the VGA buffer at 0xB8000) will continue to work, because there's no code removing the original identity mapping—if you want to follow page faults to find them something like this should go somewhere in start64 before the jump to kmain.

mov rax, pml4_table
mov qword [rax], 0
invlpg [0]