On Mon, Aug 02, 2010 at 11:54:15AM +0200, Rudolf Marek wrote:

When I boot with the propietary BIOS I can get GRUB2 and linux console

on the serial port, but only at 38400 bps. 118000 does not work. So

I've put 38400 in kconfig too.

Hm this is strange. Maybe you can try with 9600 ?  

I'll try. Since docs say 118000 I thought the furthest from that the
worst, so I didn't try.