K 10 svn:author V 6 andrew K 8 svn:date V 27 2015-10-17T19:52:17.640351Z K 7 svn:log V 340 Replace build_section_pagetable with build_l1_block_pagetable as it takes an extra argument to specify the number of 1GiB pages to map. This should be a nop as we are only mapping a single page, but when we move to use an extra level of page tables we will be able to map a second block, e.g. if the kernel was loaded over a 1GiB boundary. END