大家好，请教一个问题。通过readelf命令查看kern文件的头信息，发现其入口地址0x100000，请问这个地址是怎么得来的呢？谢谢