s390: disable branch profiling for vdso