Adapting gnu-linux-dpdk to the new hal_driver_init() API (HAL extensions)
Adding missing cpc_gre.h in netfpga10g driver
Merge remote-tracking branch 'origin/devel-0.6' into devel0.6/config_plugin_nf_support
Adapting other drivers to the new hal_driver_init() API (HAL extensions)
Merge remote-tracking branch 'origin/devel0.6/config_plugin_nf_support' into devel0.6/dpdk_kni_fix