I fixed the segfaults I was getting and now init (or libc or the
linker) ends up waiting forever for the UART. I'm not sure what's
happening there, but I think the kernel is waiting for either an
interrupt or a particular register value that never shows up. I'm
betting it's an interrupt.
You'll notice the 12345 part in the line. That means load that when
you're in one of those init levels. Thing is, I think that with the
way we boot, you may still be in S (single user). So, what ali says
is probably necessary (the console= line). Doing a higher value like
115200 means that it