9faba323b6
we also need to have the right sio(4) flags: sio0: flags=0x10 so that it will be console. sio1: flags=0x80 so that it can be used as debug port.