L4 bootstrap console output issue

[Daniel Waddington]

Hi,
I recently changed to using the Fiasco.OC source from Genode.  I have
just noticed problems with the bootstrap not outputting to the console
on certain machines.  The h/w is checked as ok, and if we replace
bootstrap with r56 version from TU Dresden then everything is ok.

Are there some Genode-specific changes to bootstrap on r46?

P.S. I didn't notice the problem until I did a full rebuild so I'm not
sure when the issue crept in.

Daniel