Kernel 3.4 on Dreamplug: no serial console

[Hans Kröner]

Hi again,

Many thanks to the both of you. CONFIG_SERIAL_OF_PLATFORM was exactly what
I was missing in my .config

Thanks a bunch!

Hans