lm32: make it boot the kernel