[seL4] GPIO on Sabre imx6