[seL4] Re: Ethernet device module for odroidc2