kernel: add a workaround to rebuild vdso.so.dbg after genvdso