Fix the order in the vdso32 check (part II)