I managed to install arch linux on a raspberry pi 3. The problem is i cannot use the GPIO. Whenever i try, for example, echo "18" > /sys/class/gpio/export (and other numbers) it says invalid argument. I am root when executing echo. I cannot find a solution to solve this. What could be the problem?