fix printf format string
Merge branch 'devel-0.5' into devel-0.6
fix handle send
using rofl debugging facility
exposed the OF portnum through the HAL for vlinks
exposed the OF portnum through the HAL for vlinks for the example driver
exposed the OF portnum through the HAL for vlinks for the netfpga10g driver
exposed the OF portnum through the HAL for vlinks for the gnu_linux_dpdk driver
add missing OF portnumber checks for attach_port_to_switch and connect_switches