notes: add benchmarks for page table optimizations
notes: add benchmarks for page table optimizations

ChristianMoesl/selfie,cksystemsteaching/selfie,ChristianMoesl/selfie,cksystemsteaching/selfie,cksystemsteaching/selfie