sptest.adb: update Semaphore_Create calling sequence
sp12.adb: doubled the initialization task stack size