sem_wait fix for EBL section