kernel: add workaround to rebuild vdso-n32.so.dbg too