Re: [PATCH 0/2] mips: vdso: Fix Makefile