kernel: Correctly restore mappings flags
kernel: Update comment, vpagetable mappings are checkpointed now