Board-specific devices in L4Linux