default.xml: initial commit

We will be using GCC 4.8 (SaberMod Linaro) for now.