sparc32: fix sparse warnings in leon_kernel.c
This page took 2.243913 seconds and 4 git commands to generate.