iTop4412 Uboot学习01：为什么内核启动地址是0x40008000？

内核版本: Linux3.5
在内核目录 /Document/arm/Booting文档中有说明如下：
5. Calling the kernel image

Existing boot loaders: MANDATORY
New boot loaders: MANDATORY

There are two options for calling the kernel zImage. If the zImage
is stored in flash, and is linked correctly to be run from flash,
then it is legal for the boot loader to call the zImage in flash
directly.

The zImage may also be placed in system RAM (at any location) and
called there. Note that the kernel uses 16K of RAM below the image
to store page tables. The recommended placement is 32KiB into RAM.

The recommended placement is 32KiB into RAM
建议将内核放到RAM的32KB处，也就是偏移地址为0x8000处。

三星Exynos4412 内存起始地址为0x40000000，即内核地址为0x40008000