sparc32: fix sparse warnings in leon_kernel.c