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