Compiling GPIO drivers for L4Linux