[PATCH 5/6] corstone1000: set kernel_addr based on boot_idx