I have a serial cable and have connected two computers with it, but I haven't been able to figure out how to obtain Genode's boot output. I am currently using the fiasco kernel but I will probably later use fiasco.oc and possibly nova. I heard something about telling the kernel which port to use for the serial output. What do I need to do to look at Genode's boot output over serial?