s390/smp,vdso: fix ASCE handling