Change the linker script a bit
`kernel_{start,size}' &c. are provided by linker
Paging works a tad better.