libethdrivers: Add zynq7000,imx6 Eth driver module

This commit adds driver module definitions for the zynq7000, and imx6
Ethernet drivers in libethdrivers. The driver module grabs the necessary
resources and off-loads the Ethernet initialisation to the original
initialisation functions.

libethdrivers: Update tx2 and intel drivers

Add a new initialization mechanism for drivers to allocate their own
resources that use the driver framework interfaces.

tx2-ethernet: port Synopsis driver

Port/reverse engineer driver from linux/l4t/u-boot sources.

trivial: Style changed files

libethdrivers: Add imx8mq-evk support

The imx8mq-evk reuses the imx6 Ethernet drivers as the devices and setup
are very similar. This is a bit of a hack at the moment and will
eventually be cleaned up.

replace kernel_autoconf with sel4_autoconf

since the mainline kernel's kernel_autoconf doesn't include
seL4/gen_config.h but sel4_autoconf does

util_libs: remove autoconf.h from util_libs

this commit removes autoconf.h generation from each lib and
append '#include <<lib_name>/gen_config.h>' after each
'#include <autoconf.h>' since autoconf.h is only the for the
kernel config now. This is a temporarily solution, since we
currently don't have a way to tell which header files each file
is trying to include when it includes 'autoconf.h'

CMake: Mark config options as advanced

This is to hide the options in the cmake-gui. Top level applications can
choose to reexpose these options by clearing the advanced setting.

trivial: style CMakeLists.txt

libethdrivers: Fix compilation with picotcp

libethdrivers: Link lwip lib if config is set

Added check if config option 'Liblwip' is set. If set we link the
liblwip library to the ethdrivers target.

libethdrivers: cmake build definitions