Adding copy of mmu.h from ../bios_ia32.