One more data point, ethernet also seems to be working. I compiled a UEFI image from the tcp_terminal example in the gems repo. I can now happily recommend the UP hardware (Atom) as an embedded platform for seL4 with driver support courtesy of Genode.