Identity-mapping 0xB0000000 to itself, preparig for the PMM
Adding support for boolean types
Adding the PMM and the VMM, enabling 4kb paging. A long description of x86 paging is also provided. Minor fixes to main.c's formatting