kernel/v2? more clever: default port to guest port