From reading the kernel vdso code I discovered that there is a kernel command line option to disable vdso for 32-bit applications in the 64-bit kernel: vdso32=0. This fixes my problem, although I couldn't find any documentation mentioning this option. I will suggest to the scratchbox team that they document this option. Feel free to close this bug report.