Drivers ported from Linux 2.6 to Genode