[PATCH v3 4/6] corstone1000: add boot index