[seL4] Re: Pass Ethernet device to CAmkES ARM VM when using QEMU