De algum livro que tenho, tenho em minhas anotações que o kernel do Linux reside em 0xc00000000 em sistemas de 32 bits e é mapeado no espaço do usuário por motivos de desempenho.
Isso é preciso? Como posso verificar isso?
Além disso, onde o kernel reside em sistemas de 64 bits? Ainda está em 0xc00000000 ou em algum outro lugar?
Neste momento, ele reside em um local semi-aleatório graças ao aslr (supondo que você tenha compilado isso e com um sistema de 64 bits, não há razão para isso e já que é 2016 você deve rodar um sistema de 64 bits ... se você está com pouca memória, é só rodar um kernel de 64 bits + um espaço de usuário de 32 bits)