kernel: Add 32-bit GCC to PATH for vdso32

Change-Id: Ifff495069ab33d9b1346971a21f380f0c23ebf48
1 file changed