Fix OSDebug() to use proper software breakpoint instruction on s390