rt4-extension-spawnlinkedticketinqueue - s390x