Fix the order in the vdso32 check