[PATCH 4/6] corstone1000: add boot index