Add libethdrivers

Change-Id: Ibb1070d812a299341055e6763eb539f973a76aa5
Use master branch of libsel4vmm

Change-Id: I94d75c76778a3135232b7f70be972ffaeec5eb85