Hi, I've built a crochet build of the latest -HEAD for the raspberry pi and I'm not seeing anything on HDMI. Where's the default console output going? And how do I configure it? Thanks, -a