Bug 951586 - [DSDS][STK] Suport multiple cards in system STK code