Added gcc-arm-none-eabi cross compiler as well.
Added gcc-arm-none-eabi cross compiler as well.

sighingnow/sel4-tutorials,sighingnow/sel4-tutorials,sighingnow/sel4-tutorials,agacek/sel4-tutorials,agacek/sel4-tutorials