added user_debug=-1 to kernel command line.

Now works with hdmi (but don't know why... :-( )