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 port number checks for attach_port_to_switch and connect_switches