GPIO access on L4Linux