Also supply raspberrypi toolchain ar.