vbox: support routing serial output to Genode

Fixes #1308