I just discovered that you could add some verbosity to the platform initialization of base-hw. Just change at
https://github.com/genodelabs/genode/blob/14.08/repos/base-hw/src/core/platf...
from
enum { VERBOSE = 0 };
to
enum { VERBOSE = 1 };
Happy hacking