boot2docker: port is incorrectly reported as 0

Due to a [bug in
boot2docker](https://github.com/boot2docker/boot2docker/issues/504) the
`DockerPort` was being reported as `0`.  This is a workaround.