linux-ti33x-psp 3.2: avoid gold linker for Thumb2 kernel