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