rpi: switch to external toolchain

This speeds up the build at the cost of a slight increase in image size.