default.xml: derp -- use arm-eabi-4.8 (there is no 4.9).