board → mmu Relation

File in src/kernelarchx86_64board	Includes file in src/kernelarchx86_64mmu
pc / console / vbe_console.c	paging.h
pc / drivers / rtl8139.c	paging.h
pc / kmain.c	frame.h
pc / kmain.c	paging.h