arch-linux stuff is actually also rpi-specific.