On page table flags

[sangho2]

NIT: You can safely usePageTableFlags::PRESENT | PageTableFlags::WRITABLE | PageTableFlags::ACCESSED | PageTableFlags::DIRTY, which is a small optimization made in Linux kernel code to avoid unnecessary hardware changes: less cache-coherency traffic and slightly faster page table walk.

Originally posted by @ziqiaozhou in #972