[Bug 105979] kernel-source Makefile uses gcc not gcc32