Add more options for ARM
Add Linaro 2013.04 toolchain and changes to kernel-headers