sparc32,leon: always include leon_kernel in build