tree 160cbc77f6395c48f832879bf0b22304cb4b62a4
parent a9181c868d713168fd5b9ebce31f5e0dbef77868
author Rui Miguel Silva <rui.silva@linaro.org> 1686557359 +0100
committer Tom Rini <trini@konsulko.com> 1687199656 -0400

corstone1000: set kernel_addr based on boot_idx

We need to distinguish between boot banks and from which
partition to load the kernel+initramfs to memory.

For that, fetch the boot index, fetch the correspondent
partition, calculate the correct kernel address and
then set the env variable kernel_addr with that value.

Signed-off-by: Rui Miguel Silva <rui.silva@linaro.org>