apply_vdso_alternatives
apply_vdso_alternatives(vdso_start);
apply_vdso_alternatives(vdso_cfi_start);