The device driver glue code which we currently use in GNU Mach could be updated (read: most probably be rewritten). It could either be updated to a more modern Linux variant--like Linux 2.6--or one could investigate if writing glue code for e.g. FreeBSD is feasible. Or both of them.