Ah, I mixed up SHELL_BUFFER_SIZE and UART0_BUFSIZE.

I still need to ask though:
Is 1024 chosen by a fair dice roll? ;-)
Wouldn't something more in line with the other implementations provide a more natural environment?